boolean ( PsiWhileStatement loopStatement, PsiMethod method) { final PsiExpression test = loopStatement.getCondition(); if (expressionDefinitelyRecurses(test, method)) { return false; } final PsiStatement body = loopStatement.getBody(); return statementMayReturnBeforeRecursing(body, method); }