check_interval   1389 src/Solve.cpp      check_interval(a, Interval(min, max), true);
check_interval   1393 src/Solve.cpp      check_interval(a, Interval(min, max), false);