(Gerrhonotus,((Heloderma,(Estesia,(Lanthanotus,Varanus))),(Mosasauridae,Aigialosaurus,Opetiosaurus,Trieste_Aigialosaur,Carsosaurus)));