(Pristerodon_mckayi,((Cteniosaurus_platyceps,(Oudenodon_bainii,(Rhachiocephalus_magnus,Platycyclops_crassus))),(Propelanomodon_devilliersi,((Aulacephalodon_bainii,Pelanomodon_tuberosus),(Odontocyclops_dubius,((Lystrosaurus_murrayi,Kwazulusaurus_shakai),(Dicynodon_lacerticeps,(Kannemeyeria_simocephala,Dinanomodon_rubidgei))))))));