session vacid_0_red_black_trees = NTP4Verif +
theories
  "vacid_0_red_black_trees_RedBlackTree"
  "vacid_0_red_black_trees_RedBlackTree_memt_colorqtvc"
  "vacid_0_red_black_trees_RedBlackTree_lt_leafqtvc"
  "vacid_0_red_black_trees_RedBlackTree_gt_leafqtvc"
  "vacid_0_red_black_trees_RedBlackTree_lt_tree_nodeqtvc"
  "vacid_0_red_black_trees_RedBlackTree_gt_tree_nodeqtvc"
  "vacid_0_red_black_trees_RedBlackTree_lt_node_ltqtvc"
  "vacid_0_red_black_trees_RedBlackTree_gt_node_gtqtvc"
  "vacid_0_red_black_trees_RedBlackTree_lt_leftqtvc"
  "vacid_0_red_black_trees_RedBlackTree_lt_rightqtvc"
  "vacid_0_red_black_trees_RedBlackTree_gt_leftqtvc"
  "vacid_0_red_black_trees_RedBlackTree_gt_rightqtvc"
  "vacid_0_red_black_trees_RedBlackTree_lt_tree_not_inqtvc"
  "vacid_0_red_black_trees_RedBlackTree_lt_tree_transqtvc"
  "vacid_0_red_black_trees_RedBlackTree_gt_tree_not_inqtvc"
  "vacid_0_red_black_trees_RedBlackTree_gt_tree_transqtvc"
  "vacid_0_red_black_trees_RedBlackTree_bst_Leafqtvc"
  "vacid_0_red_black_trees_RedBlackTree_bst_leftqtvc"
  "vacid_0_red_black_trees_RedBlackTree_bst_rightqtvc"
  "vacid_0_red_black_trees_RedBlackTree_bst_colorqtvc"
  "vacid_0_red_black_trees_RedBlackTree_rotate_leftqtvc"
  "vacid_0_red_black_trees_RedBlackTree_rotate_rightqtvc"
  "vacid_0_red_black_trees_RedBlackTree_rbtree_Leafqtvc"
  "vacid_0_red_black_trees_RedBlackTree_rbtree_Node1qtvc"
  "vacid_0_red_black_trees_RedBlackTree_rbtree_leftqtvc"
  "vacid_0_red_black_trees_RedBlackTree_rbtree_rightqtvc"
  "vacid_0_red_black_trees_RedBlackTree_findqtvc"
  "vacid_0_red_black_trees_RedBlackTree_rbtree_almost_rbtreeqtvc"
  "vacid_0_red_black_trees_RedBlackTree_rbtree_almost_rbtree_exqtvc"
  "vacid_0_red_black_trees_RedBlackTree_almost_rbtree_rbtree_blackqtvc"
  "vacid_0_red_black_trees_RedBlackTree_lbalanceqtvc"
  "vacid_0_red_black_trees_RedBlackTree_rbalanceqtvc"
  "vacid_0_red_black_trees_RedBlackTree_insertqtvc"
  "vacid_0_red_black_trees_RedBlackTree_addqtvc"
  "vacid_0_red_black_trees_Vacid0_createqtvc"
  "vacid_0_red_black_trees_Vacid0_replaceqtvc"
  "vacid_0_red_black_trees_Vacid0_lookupqtvc"
  "vacid_0_red_black_trees_Vacid0_removeqtvc"
