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