Questões de Direito Tributário - Decadência para Concurso

O Supremo Tribunal Federal reconheceu ser inconstitucional a majoração de determinado tributo com decisão transitada em julgado em 25/10/2019. Ao perceber que tinha recolhido tributo a maior em pagamento de 26/10/2015, Heitor Fortificações Ltda. efetua compensação tributária correspondente em 23/12/2020, deixando de recolher o tributo na mesma data. Ao ser contestado por autoridades fazendárias, Heitor Fortificações Ltda. imediatamente ingressa com mandado de segurança em 25/10/2021. De acordo com o Código Tributário Nacional e a jurisprudência do Superior Tribunal de Justiça, 

De acordo com o que prevê expressamente o Código Tributário Nacional, extinguem o crédito tributário

Caso uma empresa alegue, em juízo, que não deve pagar determinado tributo, terá ela razão se demonstrar 

Miguel, menor de idade, e Lucas, maior de idade e capaz, são proprietários de veículos licenciados no município de Aracaju, desde 2010. Miguel possui cota ideal de 30%, e Lucas, de 70%. Os veículos, atualmente, prestam-se à realização de entregas em favor de uma empresa que funciona informalmente na produção de cerveja artesanal. Em novembro de 2019, durante fiscalização no referido estabelecimento comercial, o fisco constatou a existência de dívidas relativas ao imposto sobre a propriedade de veículos automotores (IPVA) desses veículos, desde o ano de 2013, e, por isso, Miguel e Lucas foram autuados pelas dívidas, tendo-lhes sido aplicados multa e juros pelo inadimplemento.
Considerando essa situação hipotética, assinale a opção correta.