session equal_Why3_ide = NTP4Verif +
theories
  "equal_Why3_ide_VCequal_post_result_goal0"
