A convicção global da prova produzida não permite qualquer alteração da primeira parte do facto 9, por este tribunal ter ficado convencido que a declaração de transação apresentada por advogados no processo declarativo apenas formaliza os acordos alcançados, assentes na base negocial global atendida pelos exequentes, nos termos a julgar provado na alteração ao facto