check_decreasing  434 src/Monotonic.cpp     check_decreasing(-x);
check_decreasing  435 src/Monotonic.cpp     check_decreasing(x*-4);
check_decreasing  436 src/Monotonic.cpp     check_decreasing(y - x);
check_decreasing  437 src/Monotonic.cpp     check_decreasing(x < y);
check_decreasing  438 src/Monotonic.cpp     check_decreasing(x <= y);
check_decreasing  445 src/Monotonic.cpp     check_decreasing(select(y == 2, -x, x*-4));
check_decreasing  449 src/Monotonic.cpp     check_decreasing(select(x > 2, -x-1, -x));
check_decreasing  450 src/Monotonic.cpp     check_decreasing(select(x < 2, -x, -x-1));
check_decreasing  459 src/Monotonic.cpp     check_decreasing(select(x < 17, y, y-1));
check_decreasing  460 src/Monotonic.cpp     check_decreasing(select(x > 17, y, y+1));