public @NotNull DfaControlTransferValue transferValue(@NotNull String exceptionName) {
    return myFactory.controlTransfer(transfer(exceptionName), myTrapStack);
  }
public @NotNull DfaControlTransferValue transferValue(@NotNull String exceptionName)