DfaInstructionState[] (@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); }