void (@NotNull IfStmt ifStatement) { IfStmt currentIf = ifStatement; boolean flag = false; while (true) { if (currentIf.getElseBranch() != null) return; if(currentIf.getCondition() != null && checkCondition(currentIf.getCondition())) { flag = true; } Stmt sibling = currentIf; do { sibling = getNext(sibling); } while (sibling != null); IfStmt enclosingIf = getEnclosing(currentIf); if (enclosingIf == null) break; currentIf = enclosingIf; } if(flag) { System.out.println("not always"); } }