(setupIbisModelChecker '(MonotonicCurves #f))