session equal_range_Why3_ide = NTP4Verif +
theories
  "equal_range_Why3_ide_VCequal_range_post_result_goal0"
  "equal_range_Why3_ide_VCequal_range_post_middle_goal1"
