session strcasecmp_Why3_ide = NTP4Verif +
theories
  "strcasecmp_Why3_ide_VCstrcasecmp_loop_inv_2_preserved_goal1"
  "strcasecmp_Why3_ide_VCstrcasecmp_loop_assign_part6_goal9"
  "strcasecmp_Why3_ide_VCstrcasecmp_assert_2_goal6"
  "strcasecmp_Why3_ide_VCstrcasecmp_equal_post_goal16"
  "strcasecmp_Why3_ide_VCstrcasecmp_not_equal_post_goal17"
  "strcasecmp_Why3_ide_VCstrcasecmp_assign_exit_part8_goal12"
  "strcasecmp_Why3_ide_VCstrcasecmp_loop_inv_5_preserved_goal5"
  "strcasecmp_Why3_ide_VCstrcasecmp_assign_normal_part04_goal13"
  "strcasecmp_Why3_ide_VCstrcasecmp_loop_assign_part3_goal7"
  "strcasecmp_Why3_ide_VCstrcasecmp_assign_normal_part08_goal14"
  "strcasecmp_Why3_ide_VCstrcasecmp_loop_inv_2_established_goal2"
  "strcasecmp_Why3_ide_VCstrcasecmp_loop_assign_part7_goal10"
  "strcasecmp_Why3_ide_VCstrcasecmp_loop_inv_3_established_goal4"
  "strcasecmp_Why3_ide_VCstrcasecmp_loop_assign_part4_goal8"
  "strcasecmp_Why3_ide_VCstrcasecmp_loop_term_positive_goal15"
  "strcasecmp_Why3_ide_VCstrcasecmp_loop_inv_preserved_goal0"
  "strcasecmp_Why3_ide_VCstrcasecmp_loop_inv_3_preserved_goal3"
  "strcasecmp_Why3_ide_VCstrcasecmp_assign_exit_part4_goal11"
  "strcasecmp_Why3_ide_VCstrcasecmp_not_equal_post_2_goal18"
