DfaInstructionState[] (@NotNull DataFlowInterpreter interpreter, @NotNull DfaMemoryState stateBefore) { DfaValue value = stateBefore.pop(); interpreter.getListener().beforeAssignment(value, myDestination, stateBefore, getDfaAnchor()); stateBefore.setVarValue(myDestination, value); pushResult(interpreter, stateBefore, myDestination); return nextStates(interpreter, stateBefore); }