Antes de mais anote-se que o saneador-sentença, por um lado, partiu de um facto que, embora não esteja dado como provado, decorre dos próprios autos, ou seja, a data em que a acção foi proposta e como tal pode ser acrescentado aos factos provados, ao abrigo dos artigos 663/2 e 607/4, ambos do, facto que é a base da excepção deduzida, e, por outro lado, assumiu implicitamente que se verificava uma situação de incumprimento definitivo do contrato, pelo menos desde a data alegada pela autora 01/06/2011).