Suena a veces raro esperar del INFONAVIT un juicio especial hipotecario para recuperar el crédito, sobre todo por que son de interes social, posiblemente sea un acreedor diferente tal vez un Banco o Sofol, o Sofome. Lo cierto es que se puede consultar en el Registro Público de la Propiedad, que corresponda  a la localidad, si existe algún gravamen de esta propiedad (embargo especificamente). Ahora bien, la venta con hipoteca es valida, pero debes saber si alguien más puede estar afectando el inmueble con otra hipoteca, a sea que tu vendedor haya contratado un cofinanciamiento.  Pues en su caso habra dos acreedores hipotecarios (INFONAVIT + BANCO) y deberá proponer el oferente de esta vivienda algun mecanismo interesante para administrar la liquidación de hipoteca y su eventual cancelación. Espero haberte ayudado, puedes visitar mi oficina virtual en este sitio, en caso de duda escribeme. SUERTE.

P.D. Si tienes la liquidez sufiente para comprar casa, puedes optar por el Remate Judicial y comprar con descuentos desde hasta 45% sobre valor de avalúo.