boolean (@NotNull PsiWhileStatement whileStatement, @NotNull PsiVariable variable, int stamp, @NotNull Set<MethodSignature> checkedMethods) { final PsiExpression condition = whileStatement.getCondition(); if (expressionAssignsVariable(condition, variable, stamp, checkedMethods)) { return true; } if (BoolUtils.isTrue(condition)) { final PsiStatement body = whileStatement.getBody(); if (statementAssignsVariable(body, variable, stamp, checkedMethods)) { return true; } } return false; }