Contrariamente ao que a AT tentou invocar, não há incompatibilidade entre a possibilidade de elidir a presunção subjacente a esta tributação autónoma sobre encargos pela utilização de veículos e o artigo 2, n. 1, do Código do IRC, como supra se desenvolveu.