check_increasing  425 src/Monotonic.cpp     check_increasing(x);
check_increasing  426 src/Monotonic.cpp     check_increasing(x+4);
check_increasing  427 src/Monotonic.cpp     check_increasing(x+y);
check_increasing  428 src/Monotonic.cpp     check_increasing(x*4);
check_increasing  429 src/Monotonic.cpp     check_increasing(min(x+4, y+4));
check_increasing  430 src/Monotonic.cpp     check_increasing(max(x+y, x-y));
check_increasing  431 src/Monotonic.cpp     check_increasing(x >= y);
check_increasing  432 src/Monotonic.cpp     check_increasing(x > y);
check_increasing  444 src/Monotonic.cpp     check_increasing(select(y == 2, x, x+4));
check_increasing  447 src/Monotonic.cpp     check_increasing(select(x > 2, x+1, x));
check_increasing  448 src/Monotonic.cpp     check_increasing(select(x < 2, x, x+1));
check_increasing  457 src/Monotonic.cpp     check_increasing(select(x < 17, y, y+1));
check_increasing  458 src/Monotonic.cpp     check_increasing(select(x > 17, y, y-1));
check_increasing  462 src/Monotonic.cpp     check_increasing(select(x % 2 == 0, x+3, x+3));