session snapshotable_trees = NTP4Verif +
theories
  "snapshotable_trees_MyEnum_enumqtvc"
  "snapshotable_trees_Tree"
  "snapshotable_trees_Iterator_create_iteratorqtvc"
  "snapshotable_trees_MyEnum"
  "snapshotable_trees_Iterator_hasNextqtvc"
  "snapshotable_trees_Iterator_nextqtvc"
  "snapshotable_trees_BSTree_bst_memqtvc"
  "snapshotable_trees_BSTree_bst_addqtvc"
  "snapshotable_trees_ITree_itreeqtvc"
  "snapshotable_trees_Iterator"
  "snapshotable_trees_BSTree"
  "snapshotable_trees_ITree_createqtvc"
  "snapshotable_trees_ITree_containsqtvc"
  "snapshotable_trees_ITree_addqtvc"
  "snapshotable_trees_ITree_snapshotqtvc"
  "snapshotable_trees_ITree_iteratorqtvc"
  "snapshotable_trees_Harness_testqtvc"
  "snapshotable_trees_ITree"
