Isto é, sem que seja invocada a invalidade ou ineficácia da transmissão operada a favor do R. e pedida a sua declaração judicial, com o cancelamento do respetivo registo, não pode o Tribunal declarar a transmissão da propriedade da fração a favor do A. com base na execução específica do contrato promessa.