static JTree jCTDynamicTree(CTNode root) {
  ret jDynamicTree(root, func(CTNode n) -> Collection<CTNode> { n.children });
}