dinocephalian Synonyms