Agaresuchus

Agaresuchus is an extinct genus of allodaposuchid eusuchian crocodylomorph from the Late Cretaceous (Campanian-Maastrichtian) of Spain. It includes two species, the type species Agaresuchus fontisensis, and Agaresuchus subjuniperus, which was originally named as a species of the related genus Allodaposuchus. However, it has been proposed that both species may instead belong to the genus Allodaposuchus.

Discovery and naming
The genus Agaresuchus was named in 2016 upon the discovery of Agaresuchus fontisensis. Allodaposuchus subjuniperus, discovered in 2013 and originally classified as a new and second species of Allodaposuchus, was then reassigned to Agaresuchus.

A. subjuniperus was named in 2013 on the basis of a skull from the late Maastrichtian-aged Conquès Formation, part of the Tremp Group, in the province of Huesca, Spain. The skull was found underneath a juniper tree whose roots had grown between the bones, hence the specific name subjuniperus or "under juniper" in Latin.

In 2016, the new genus and species Agaresuchus fontisensis was discovered and described. The genus name refers to the demon Agares, depicted by Johann Weyer as an old man riding a crocodile. The specific name was named from the Lo Hueco fossil site in Fuentes, Cuenca, Spain; fontes is the Latin name of Fuentes.

The two species differ in traits such as the shape of the snout (elongated in the former, short in the latter); the shape of the premaxilla (longer than wide compared to wider than long); the number of maxillary tooth sockets (15 compared to 14); the shape of the eye sockets (large and round compared to short and crescent-shaped); the width between the eyes (narrow compared to characteristically broad); and characteristics of the palate and nasal bones. However, they were considered to be sufficiently distinct from the eastern European Allodaposuchus precedens to warrant a new genus.

Alternatively, a 2021 phylogenetic analysis considering additional postcranial material recovered Allodaposuchus as paraphyletic with respect to Agaresuchus and Lohuecosuchus, and suggested that both A. fontisensis and A. subjuniperus belong within the genus Allodaposuchus proper, which would render Agaresuchus as a junior synonym of Allodaposuchus. The cladogram from Blanco's 2021 study is shown below: