(setupIbisModelChecker '(MonotonicCurves #t))