Ao dar como provado e aceitar o dano resultante de interesse contratual negativo, não poderia o Tribunal ad quod deixar de reconhecer também a necessidade de o arresto, por si determinado, proteger, igualmente, os danos decorrentes do interesse positivo.