static OccTree2 cloneOccTree(OccTree2 tree) {
  ret (OccTree2) restructure(tree);
}