A empresa XY, considerando-se detentora de créditos de ICMS resultantes de tributos pagos indevidamente, propôs mandado de segurança para convalidar compensação efetivada por ela, requerendo que o Poder Judiciário declarasse extintos os créditos tributários discriminados em sua contabilidade. Acerca dessa situação hipotética, assinale a opção correta.