List<DfaInstructionState> (@NotNull DfaMemoryState state, @NotNull DataFlowInterpreter interpreter, DfaControlTransferValue.@NotNull TransferTarget target, @NotNull FList<DfaControlTransferValue.Trap> nextTraps) { state.push(interpreter.getFactory().controlTransfer(target, nextTraps)); return List.of(new DfaInstructionState(interpreter.getInstruction(myJumpOffset.getInstructionOffset()), state)); }