Efectivamente, previu-se no contrato que os contraentes não renunciam à execução específica deste contrato, para que, em caso de incumprimento, o contraente não faltoso consiga obter sentença judicial que produza os efeitos da declaração negocial em falta, nos termos do art.