session occ_a_split_Why3_ide = NTP4Verif +
theories
  "occ_a_split_Why3_ide_VCocc_a_split_loop_inv_preserved_goal0"
  "occ_a_split_Why3_ide_VCocc_a_split_loop_inv_2_preserved_goal1"
  "occ_a_split_Why3_ide_VCocc_a_split_loop_inv_2_established_goal2"
  "occ_a_split_Why3_ide_VCocc_a_split_assert_rte_signed_overflow_goal3"
