boolean ( GrWhileStatement whileStatement, GrMethod method) { final GrExpression condition = whileStatement.getCondition(); if (expressionDefinitelyRecurses(condition, method)) { return true; } if (BoolUtils.isTrue(condition)) { final GrStatement body = whileStatement.getBody(); return statementDefinitelyRecurses(body, method); } return false; }