public @NotNull DfaControlTransferValue transferValue(@NotNull TransferTarget target) {
    return myFactory.controlTransfer(target, myTrapStack);
  }
public @NotNull DfaControlTransferValue transferValue(@NotNull TransferTarget target)