(Macroleter,((O_kitchingorum,(O_rubidgei,Barasaurus,Saurodectes)),(Coletta,(Sauropareion,Procolophonidae))));