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); } state.emptyStack(); return List.of(new DfaInstructionState(interpreter.getInstruction(myTarget.getInstructionOffset()), state)); }