List<DfaInstructionState> (@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); }