static @NotNull List<DfaInstructionState> dispatchTransfer(@NotNull DataFlowInterpreter interpreter,
                                                             @NotNull DfaMemoryState stateBefore,
                                                             @NotNull DfaControlTransferValue outOfBoundsTransfer) {
    List<DfaInstructionState> states = outOfBoundsTransfer.dispatch(stateBefore, interpreter);
    for (DfaInstructionState state : states) {
      state.getMemoryState().markEphemeral();
    }
    return states;
  }
static @NotNull List<DfaInstructionState> dispatchTransfer(@NotNull DataFlowInterpreter interpreter,
                                                             @NotNull DfaMemoryState stateBefore,
                                                             @NotNull DfaControlTransferValue outOfBoundsTransfer)