New diagnosis for Allodaposuchus precedens, the type species of the European Upper Cretaceous clade Allodaposuchidae