laudo vs sentencia

una persona compra casa con crédito hipotecario en el 2007
y en el año 2012 enferma y demanda al IMSS por pensión de invalidez definitiva
la aseguradora lo demanda en el 2013 por pagos vencidos, ya que hasta esa fecha ya no pudo pagar por su enfermedad.
y en el 2016 se tiene sentencia a favor de la hipotecaria embargo de la propiedad
posteriormente al año siguiente 2017, el Sr. tiene laudo de invalidez definitiva., por lo tanto tiene pensión por invalidez.
En el contrato de la compra de la casa,en sus clausulas viene un seguro, que dice que si se tiene una invalidez definitiva queda pagada la propiedad.
ya que en las mensualidades que se estuvieron pagando de la casa, esta desglosado pago a capital, pago a seguro, intereses etc.
Como se procede, para hacer efectivo el seguro?