public DfaInstructionState[] nextStates(DataFlowInterpreter interpreter) {
    return myInstruction.nextStates(interpreter, myBeforeMemoryState);
  }
public DfaInstructionState[] nextStates(DataFlowInterpreter interpreter)