open Cint

let hybrid limit_int2
    (xlower, xupper, xlower', xupper', xres, xres', x0, x0', u) =
  (x, x', xstatus, xstatus') where
 rec
  (x', xstatus') = limit_int(1.0, x0', xlower', xupper', xres', fu)
 and
  (x, xstatus) = limit_int(1.0, x0, xlower, xupper, xres, x')
 and
  fu = match xstatus with | Dint.Between -> u | Dint.Upper | Dint.Lower -> 0.0