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