private void controlTransfer(@NotNull DfaControlTransferValue.TransferTarget target, FList<Trap> traps) {
    addInstruction(new ControlTransferInstruction(myFactory.controlTransfer(target, traps)));
  }
private void controlTransfer(@NotNull DfaControlTransferValue.TransferTarget target, FList<Trap> traps)