(Biarmosuchus,(Anteosauridae,(Estemennosuch,Styracocephal,(Titanosuchid,Tapinocephal))));