Synonyms for whiptail_lizard