(Haptodus,(Dimetrodon,((((Patronomodon,Suminia),(Biarmosuchus,(Hipposaurus,(Lycaenodon,Herpetoskylax,(Ictidorhinus,(Lemurosaurus,Lobalopex)))))),(Titanosuchidae,Estemmenosuchus)),(Syodon,Titanophoneus))));