Ora, desde logo afigura-se que a satisfação da pretensão da Recorrente se alcançaria com a exclusão do segmento «tal como se encontra hoje» do n. 55 dos factos provados, sem necessidade de consignar provado o que consta do art.