@Override
    public @NotNull List<DfaInstructionState> dispatch(@NotNull DfaMemoryState state,
                                                       @NotNull DataFlowInterpreter interpreter,
                                                       DfaControlTransferValue.@NotNull TransferTarget target,
                                                       @NotNull FList<DfaControlTransferValue.Trap> nextTraps) {
      if (target instanceof ExceptionTransfer) {
        return DfaControlTransferValue.dispatch(state, interpreter, target, nextTraps);
      }
      return super.dispatch(state, interpreter, target, nextTraps);
    }
@Override
    public @NotNull List<DfaInstructionState> dispatch(@NotNull DfaMemoryState state,
                                                       @NotNull DataFlowInterpreter interpreter,
                                                       DfaControlTransferValue.@NotNull TransferTarget target,
                                                       @NotNull FList<DfaControlTransferValue.Trap> nextTraps)