Tendo sido declarado resolvido o contrato de permuta, o 1 ponto do dispositivo da sentença que era um mero pressuposto de um pedido que foi julgado tem de ser integrado no quadro e efeitos da resolução.