(Varanopidae,(Ophiacodontidae,(Edaphosauridae,(Haptodus_garnettensis,Ianthodon,(Pantelosaurus,Cutleria,(Sphenacodon,Ctenospondylus,Dimetrodon),(Alrausuchus,Dinocephalia))))));