check_inner_interval 1485 src/Solve.cpp      check_inner_interval(x > 0, 1, Interval::pos_inf);
check_inner_interval 1486 src/Solve.cpp      check_inner_interval(x < 100, Interval::neg_inf, 99);
check_inner_interval 1488 src/Solve.cpp      check_inner_interval(x > 0 && x < 100, 1, 99);
check_inner_interval 1495 src/Solve.cpp      check_inner_interval((x >= 10 && x <= 90) && sin(x) > 0.6f, Interval::pos_inf, Interval::neg_inf);
check_inner_interval 1497 src/Solve.cpp      check_inner_interval(x == 10, 10, 10);
check_inner_interval 1500 src/Solve.cpp      check_inner_interval(!(x != 10), 10, 10);
check_inner_interval 1503 src/Solve.cpp      check_inner_interval(3*x + 4 < 27, Interval::neg_inf, 7);
check_inner_interval 1506 src/Solve.cpp      check_inner_interval(min(x, y) > 17, 18, y);
check_inner_interval 1509 src/Solve.cpp      check_inner_interval(x/5 < 17, Interval::neg_inf, 84);