Razão porque se concluiu no citado aresto que não há «aplicação da lei nova a factos tributários integralmente verificados ou cujos efeitos estivessem integralmente produzidos e verificados no domínio da lei antiga, ou seja, antes da entrada em vigor da lei nova, nem ocorrendo, assim, destruição de efeitos produzidos por actos pretéritos.