Initial tests for names_are_unique_and_non_empty utility function