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