Ampliação objeto recurso vs julgamento em substituição, IVA, ónus da prova da efetividade da dedução, indícios exógenos de faturação falsa, inquisitório