@Override
  public DfaInstructionState[] accept(@NotNull DataFlowInterpreter interpreter,
                                      @NotNull DfaMemoryState stateBefore) {
    DfaValue value = stateBefore.peek();
    if (value instanceof DfaVariableValue && !ControlFlow.isTempVariable((DfaVariableValue)value)) {
      JavaDfaHelpers.dropLocality(value, stateBefore);
    }
    return super.accept(interpreter, stateBefore);
  }
@Override
  public DfaInstructionState[] accept(@NotNull DataFlowInterpreter interpreter,
                                      @NotNull DfaMemoryState stateBefore)