boolean ( GrWhileStatement loopStatement, GrMethod method) { final GrExpression condition = loopStatement.getCondition(); if (condition == null) { return false; } if (expressionDefinitelyRecurses(condition, method)) { return false; } final GrStatement body = loopStatement.getBody(); return statementMayReturnBeforeRecursing(body, method); }