public @Nullable DfaControlTransferValue maybeTransferValue(@NotNull String exceptionName) {
    return shouldHandleException() ? myFactory.controlTransfer(transfer(exceptionName), myTrapStack) : null;
  }
public @Nullable DfaControlTransferValue maybeTransferValue(@NotNull String exceptionName)