DfaInstructionState[] (@NotNull DataFlowInterpreter interpreter, @NotNull DfaMemoryState state) { if (!myVarsToFlush.isEmpty()) { for (DfaVariableValue value : myVarsToFlush) { state.flushVariable(value, false); } } return nextStates(interpreter, state); }