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