void (@NotNull PsiIfStatement statement) { super.visitIfStatement(statement); final PsiExpression condition = statement.getCondition(); final PsiStatement body = statement.getThenBranch(); checkCondition(condition, body); }