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