(Varanopidae,(Ophiacodontidae,(Edaphosauridae,(Haptodus,(Palaeohatteria,Pantelosaurus,Ianthodon,(Cutleria,((Secodontosaurus,(Cryptovenator,(Sphenacodon,Ctenospondylus,Dimetrodon))),(Biarmosuchus,Dinocephalia))))))));