session StrictLowerBoundShift_Why3_ide = NTP4Verif +
theories
  "StrictLowerBoundShift_Why3_ide_VCStrictLowerBoundShift_post_goal0"
