(Caseasauria,(Varanopseidae,((Archaeothyris,(Ophiacodon,Varanosaurus)),(Edaphosauridae,(Haplodus,Sphenaoodontoidea)))));