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