Que tal!!

Mi pregunta es sobre un juicio ejecutivo mercantil que tiene un familiar.

El asunto es el siguinete: Una persona para sacar un auto con autofin entregó por requisito como garantía copia de las escrituras de la casa de sus papás,  ellos fueron a firmar los pagares como avales, pero el detalle es que esta casa aunque ya se terminó de pagar al INFONAVIT, no se tramitó la liberación de la hipoteca, él entrego a autofin una carta de un notario donde se tramitaría la liberación, pero no se realizó el trámite.

Autofin puede hacer el gravamen de esa garantía aun existiendo en el RPP la hipoteca con el Infonavit? 

se puede aplicar un gravamen sobre aun cuando existe otro?

si en el RPP aparece como primero infonavit y como segundo autofin quiere decir que si pudo registrar el gravamen?

y lo más importante si pueden trabar un embargo y rematar siguiendo los procedimientos aunque infonavit siga teniendo como NO liberada la hipoteca ? 

mil gracias y ojala me puedan ayudar!!!