Estado de Referencia: Estado de México

Resulta que quiero vender mi casa y el comprador la va a utilizar su credito infonavit.

Todos los tramites iban bien hasta que me pidieron un documento de liberacion de gravamen, este a grandes razgos era para constatar que no se debia nada de la hipoteca en el banco, me dieron la carta instruccion y todo habia salido bien.

El problema real fue que me pideron otra carta de liberacion de gravamen pero ahora era para constatar que no se debia nada a la constructora. Mas bien era un papel donde la constructora decia que no se debia nada de la casa (por supuesto todos los comprobantes de pago los tengo), el caso es que la constructora original de mi casa ya no existe. Me mencionaron que se debia llevar a cabo un juicio para comprobar la inexistencia de la constructora pero que se llevaria mas de 1 año.

¿Me gustaria saber si hay otra forma de sacar este documento?

Reitero, el documento es solo para comprobar que no le debo nada a la constructora la cual ya no existe.

¿Alguien me podria explicar que procedimiento hay que seguir?