let unique_name_if_empty s =
  if s = "" then unique_name "unnamed" else s