En ese caso, el nombre "Cristatusaurus" tendría prioridad.