boolean (@NotNull PsiIfStatement ifStatement, @NotNull PsiVariable variable, int stamp, @NotNull Set<MethodSignature> checkedMethods) { final PsiExpression condition = ifStatement.getCondition(); if (expressionAssignsVariable(condition, variable, stamp, checkedMethods)) { return true; } final PsiStatement thenBranch = ifStatement.getThenBranch(); final PsiStatement elseBranch = ifStatement.getElseBranch(); return statementAssignsVariable(thenBranch, variable, stamp, checkedMethods) && statementAssignsVariable(elseBranch, variable, stamp, checkedMethods); }