If the two could be shown to be synonyms, Hylaeochampsa would have priority because it is the older name.
Se os dous resultasen ser sinónimos, Hylaeochampsa tería prioridade porque é o nome máis antigo.