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