void () { doTestIntermediate("Find why 'x' could be >= 1", "class X {static void test(int x) {<caret>assertFalse(x > 0);}" + "static void assertFalse(boolean flag) {if(flag) throw new AssertionError();}}"); }