List<DfaInstructionState> (@NotNull DfaMemoryState state, @NotNull DataFlowInterpreter interpreter, @NotNull TransferTarget target, @NotNull FList<Trap> nextTraps) { Trap head = nextTraps.getHead(); nextTraps = nextTraps.getTail() == null ? FList.emptyList() : nextTraps.getTail(); state.emptyStack(); if (head != null) { return head.dispatch(state, interpreter, target, nextTraps); } return target.dispatch(state, interpreter); }