protected final @NotNull DfaInstructionState @NotNull [] nextStates(@NotNull DataFlowInterpreter interpreter, @NotNull DfaMemoryState memState) {
    return new DfaInstructionState[]{nextState(interpreter, memState)};
  }
protected final @NotNull DfaInstructionState @NotNull [] nextStates(@NotNull DataFlowInterpreter interpreter, @NotNull DfaMemoryState memState)