(Sauropsida,(Caseasauria,(Ophiacodontidae,((Mycterosaurus,Mesenosaurus),(Elliotsmithia,(Aerosaurus,(Varanops,Varanodon)))))));