Lineage of Hoplosuchus kayi