No caso dos autos, os factos provados evidenciam um incumprimento definitivo do contrato, derivado quer da perda de interesse da Autora na prestação em consequência da situação de mora da Ré, quer da alienação do imóvel a terceiros que foi dada como provada.