session list_remove_Why3_ide = NTP4Verif +
theories
  "list_remove_Why3_ide_VClist_remove_post_GhostSeparation_2_goal0"
  "list_remove_Why3_ide_VClist_remove_post_UnchangedItem_goal1"
  "list_remove_Why3_ide_VClist_remove_assert_rte_mem_access_goal2"
  "list_remove_Why3_ide_VClist_remove_assert_rte_mem_access_5_goal3"
  "list_remove_Why3_ide_VClist_remove_loop_inv_preserved_goal4"
  "list_remove_Why3_ide_VClist_remove_loop_inv_2_preserved_goal5"
  "list_remove_Why3_ide_VClist_remove_loop_inv_2_established_goal6"
  "list_remove_Why3_ide_VClist_remove_loop_inv_3_preserved_goal7"
  "list_remove_Why3_ide_VClist_remove_loop_inv_3_established_goal8"
  "list_remove_Why3_ide_VClist_remove_loop_inv_4_preserved_goal9"
  "list_remove_Why3_ide_VClist_remove_loop_inv_4_established_goal10"
  "list_remove_Why3_ide_VClist_remove_loop_inv_5_preserved_goal11"
  "list_remove_Why3_ide_VClist_remove_loop_inv_5_established_goal12"
  "list_remove_Why3_ide_VClist_remove_loop_inv_6_preserved_goal13"
  "list_remove_Why3_ide_VClist_remove_loop_inv_6_established_goal14"
  "list_remove_Why3_ide_VClist_remove_loop_inv_7_preserved_goal15"
  "list_remove_Why3_ide_VClist_remove_assert_rte_mem_access_10_goal16"
  "list_remove_Why3_ide_VClist_remove_assert_rte_signed_overflow_goal17"
  "list_remove_Why3_ide_VClist_remove_assert_rte_signed_overflow_2_goal18"
  "list_remove_Why3_ide_VClist_remove_assert_rte_signed_overflow_3_goal19"
  "list_remove_Why3_ide_VClist_remove_assert_rte_signed_overflow_4_goal20"
  "list_remove_Why3_ide_VClist_remove_assert_rte_signed_overflow_5_goal21"
  "list_remove_Why3_ide_VClist_remove_assert_rte_signed_overflow_6_goal22"
  "list_remove_Why3_ide_VClist_remove_assert_rte_signed_overflow_7_goal23"
  "list_remove_Why3_ide_VClist_remove_assert_rte_mem_access_17_goal24"
  "list_remove_Why3_ide_VClist_remove_assert_rte_mem_access_19_goal25"
  "list_remove_Why3_ide_VClist_remove_assign_exit_part2_goal26"
  "list_remove_Why3_ide_VClist_remove_assign_exit_part4_goal27"
  "list_remove_Why3_ide_VClist_remove_assign_normal_part2_goal28"
  "list_remove_Why3_ide_VClist_remove_assign_normal_part5_goal29"
  "list_remove_Why3_ide_VClist_remove_assign_normal_part6_goal30"
  "list_remove_Why3_ide_VClist_remove_call_array_pop_pre_ListNotEmpty_goal31"
  "list_remove_Why3_ide_VClist_remove_call_array_pop_pre_GhostSeparation_2_goal32"
  "list_remove_Why3_ide_VClist_remove_call_array_pop_pre_Separation_goal33"
  "list_remove_Why3_ide_VClist_remove_call_array_pop_pre_Separation_2_goal34"
  "list_remove_Why3_ide_VClist_remove_call_array_pop_pre_Unique_goal35"
  "list_remove_Why3_ide_VClist_remove_call_array_pop_pre_LinkedLeft_goal36"
  "list_remove_Why3_ide_VClist_remove_call_array_pop_pre_ListNotEmpty_2_goal37"
  "list_remove_Why3_ide_VClist_remove_call_array_pop_pre_GhostSeparation_2_2_goal38"
  "list_remove_Why3_ide_VClist_remove_call_array_pop_pre_Separation_3_goal39"
  "list_remove_Why3_ide_VClist_remove_call_array_pop_pre_Separation_2_2_goal40"
  "list_remove_Why3_ide_VClist_remove_call_array_pop_pre_Unique_2_goal41"
  "list_remove_Why3_ide_VClist_remove_call_array_pop_pre_Index0Bounds_2_goal42"
  "list_remove_Why3_ide_VClist_remove_call_array_pop_pre_LinkedLeft_2_goal43"
  "list_remove_Why3_ide_VClist_remove_call_linked_n_split_segment_pre_Linked_goal44"
  "list_remove_Why3_ide_VClist_remove_call_linked_n_split_segment_pre_3_goal45"
  "list_remove_Why3_ide_VClist_remove_contains_item_post_Linked_goal46"
  "list_remove_Why3_ide_VClist_remove_contains_item_post_ItemNotIn_goal47"
  "list_remove_Why3_ide_VClist_remove_contains_item_post_IttemSep_goal48"
  "list_remove_Why3_ide_VClist_remove_contains_item_post_GhostSeparation_goal49"
  "list_remove_Why3_ide_VClist_remove_contains_item_post_Separation_goal50"
  "list_remove_Why3_ide_VClist_remove_contains_item_post_Separation_2_goal51"
  "list_remove_Why3_ide_VClist_remove_contains_item_post_Unique_goal52"
  "list_remove_Why3_ide_VClist_remove_contains_item_post_Unchanged_goal53"
  "list_remove_Why3_ide_VClist_remove_contains_item_post_Swiped_goal54"
  "list_remove_Why3_ide_VClist_remove_contains_item_post_PrevItem_goal55"
  "list_remove_Why3_ide_VClist_remove_contains_item_post_UnchangedSwipe_goal56"
  "list_remove_Why3_ide_VClist_remove_does_not_contain_item_post_goal57"
  "list_remove_Why3_ide_VClist_remove_does_not_contain_item_post_2_goal58"
  "list_remove_Why3_ide_VClist_remove_does_not_contain_item_post_3_goal59"
  "list_remove_Why3_ide_VClist_remove_does_not_contain_item_post_GhostSeparation_goal60"
  "list_remove_Why3_ide_VClist_remove_does_not_contain_item_post_Separation_goal61"
  "list_remove_Why3_ide_VClist_remove_does_not_contain_item_post_Separation_2_goal62"
  "list_remove_Why3_ide_VClist_remove_does_not_contain_item_post_Unique_goal63"
  "list_remove_Why3_ide_VClist_remove_does_not_contain_item_post_4_goal64"
