La especie tipo de "Proterosuchus" es "P.