Sobre o crédito presumido de IPI, o STF já se pronunciou acerca da não-cumulatividade: