check_outer_interval 1487 src/Solve.cpp      check_outer_interval(x > 0 && x < 100, 1, 99);
check_outer_interval 1491 src/Solve.cpp      check_outer_interval(Let::make("y", 0, x > y && x < 100), 1, 99);
check_outer_interval 1492 src/Solve.cpp      check_outer_interval(Let::make("c", x > 0, c && x < 100), 1, 99);
check_outer_interval 1494 src/Solve.cpp      check_outer_interval((x >= 10 && x <= 90) && sin(x) > 0.5f, 10, 90);
check_outer_interval 1498 src/Solve.cpp      check_outer_interval(x == 10, 10, 10);
check_outer_interval 1501 src/Solve.cpp      check_outer_interval(!(x != 10), 10, 10);
check_outer_interval 1504 src/Solve.cpp      check_outer_interval(3*x + 4 < 27, Interval::neg_inf, 7);
check_outer_interval 1507 src/Solve.cpp      check_outer_interval(min(x, y) > 17, 18, Interval::pos_inf);
check_outer_interval 1510 src/Solve.cpp      check_outer_interval(x/5 < 17, Interval::neg_inf, 84);