List<DfaInstructionState> (@NotNull DfaMemoryState state, @NotNull DataFlowInterpreter interpreter, DfaControlTransferValue.@NotNull TransferTarget target, @NotNull FList<DfaControlTransferValue.Trap> nextTraps) { DfaValue value = state.pop(); if (!(value instanceof DfaControlTransferValue) || ((DfaControlTransferValue)value).getTarget() != DfaControlTransferValue.RETURN_TRANSFER) { throw new IllegalStateException("Expected control transfer on stack; got " + value); } return DfaControlTransferValue.dispatch(state, interpreter, target, nextTraps); }