Lineage of Proscelidodon gracillimus