session vstte12_tree_reconstruction = NTP4Verif +
theories
  "vstte12_tree_reconstruction_Tree_depths_headqtvc"
  "vstte12_tree_reconstruction_Tree_depths_uniqueqtvc"
  "vstte12_tree_reconstruction_Tree_depths_prefixqtvc"
  "vstte12_tree_reconstruction_Tree_depths_prefix_simpleqtvc"
  "vstte12_tree_reconstruction_Tree_depths_subtreeqtvc"
  "vstte12_tree_reconstruction_Tree_depths_unique2qtvc"
  "vstte12_tree_reconstruction_TreeReconstruction_build_recqtvc"
  "vstte12_tree_reconstruction_Tree"
  "vstte12_tree_reconstruction_TreeReconstruction_buildqtvc"
  "vstte12_tree_reconstruction_Harness_harnessqtvc"
  "vstte12_tree_reconstruction_TreeReconstruction"
  "vstte12_tree_reconstruction_Harness_harness2qtvc"
  "vstte12_tree_reconstruction_ZipperBasedTermination_tcqtvc"
  "vstte12_tree_reconstruction_ZipperBased_forest_depths_appendqtvc"
  "vstte12_tree_reconstruction_ZipperBased_g_appendqtvc"
  "vstte12_tree_reconstruction_ZipperBased_depths_lengthqtvc"
  "vstte12_tree_reconstruction_ZipperBased_forest_depths_lengthqtvc"
  "vstte12_tree_reconstruction_ZipperBased_g_tailqtvc"
  "vstte12_tree_reconstruction_ZipperBased_key_lemmaqtvc"
  "vstte12_tree_reconstruction_ZipperBased_right_nilqtvc"
  "vstte12_tree_reconstruction_ZipperBased_main_lemmaqtvc"
  "vstte12_tree_reconstruction_ZipperBased_tcqtvc"
  "vstte12_tree_reconstruction_ZipperBased_map_leaf_depthsqtvc"
  "vstte12_tree_reconstruction_ZipperBased_map_leaf_only_leafqtvc"
  "vstte12_tree_reconstruction_ZipperBased_buildqtvc"
