void (@NotNull DfaVariableValue variable, boolean canonicalize) { final PsiElement psi = variable.getPsiVariable(); if (psi instanceof PsiParameter && myPossiblyViolatedParameters.contains(psi)) return; super.flushVariable(variable, canonicalize); }