Initial names_are_unique_and_non_empty utility function