Ningun notario va a formalizar esa compraventa / traspaso ya que el que le vende no es dueño aun del inmueble hasta en tanto no reciba la carta finiquito de infonavit y se haya cancelado el gravamen respectivo.

Por tanto cualquier contrato privado que realicen carece de valor ante las autoridades y estas reconoceran unica y exclusivamente como dueño al sujeto al que se le otorgo el credito y claro se expidio la escritura respectiva.

Este tipo de "ventas" es muy comun pero tambien lo es que al paso del tiempo se generen problemas de diversas indoles.

Lo recomendable es que acuda directamente a infonavit a informarse sobre la posibilidad de que se cambie ante ellos al titular del credito, liberando asi a uno y obligando a otro, (complicado) de otra manera se le pueden presentar problemas futuros.

Salvo la mejor opinion de los excelsos abogados que en este foro aportan.

Saludos cordiales.