void (@NotNull PsiIfStatement ifStatement) { final PsiStatement elseBranch = ifStatement.getElseBranch(); negate = PsiTreeUtil.isAncestor(elseBranch, referenceExpression, true); if (isReassignedInside(negate ? elseBranch : ifStatement.getThenBranch())) return; checkExpression(ifStatement.getCondition()); }