protected final @NotNull DfaInstructionState nextState(@NotNull DataFlowInterpreter interpreter, @NotNull DfaMemoryState memState) {
    return new DfaInstructionState(interpreter.getInstruction(getIndex() + 1), memState);
  }
protected final @NotNull DfaInstructionState nextState(@NotNull DataFlowInterpreter interpreter, @NotNull DfaMemoryState memState)