@Nullable DfaControlTransferValue createTransfer(@NotNull String exception) {
    return myTrapTracker.maybeTransferValue(exception);
  }
@Nullable DfaControlTransferValue createTransfer(@NotNull String exception)