session CountBounds_Why3_ide = NTP4Verif +
theories
  "CountBounds_Why3_ide_VCCountBounds_call_CountSectionBounds_pre_goal1"
  "CountBounds_Why3_ide_VCCountBounds_post_goal0"
