É preciso, pois, que a venda seja ineficaz para que a Recorrente possa executar o seu crédito, no caso, como está bom de ver, por via da modalidade de execução para prestação de facto, nos termos do artigo 86 do CPC.