Não perdendo de vista que a desistência do pedido foi formulada em termos subsidiários relativamente ao pedido principal de extinção da instância por inutilidade superveniente da lide por pagamento/ anulação do, a verdade é que, compulsados os autos, considerada a informação prestada pelo SF, o que se retira é que não há evidência de o imposto contestado ter sido anulado e o seu "pagamento”, por si só, não gera a inutilidade superveniente da lide.