Estão, ou não, a AT e o próprio tribunal vinculados a reconhecerem os efeitos jurídicos dos negócios jurídicos dados como provados caso a AT não se socorra, para a fundamentação da liquidação, da norma do artigo 3 da LGT?