Tratando-se de Mandado de Segurança impetrado com vistas a declarar o direito à compensação tributária, em virtude do reconhecimento da ilegalidade ou inconstitucionalidade da exigência da exação, independentemente da apuração dos respectivos valores, é suficiente, para esse efeito, a comprovação de que o impetrante ocupa a posição de credor tributário, visto que os comprovantes de recolhimento indevido serão exigidos posteriormente, na esfera administrativa, quando o procedimento de compensação for submetido à verificação pelo Fisco; de outro lado, tratando-se de Mandado de Segurança com vistas a obter juízo específico sobre as parcelas a serem compensadas, com efetiva investigação da liquidez e certeza dos créditos, ou, ainda, na hipótese em que os efeitos da sentença supõem a efetiva homologação da compensação a ser realizada, o crédito do contribuinte depende de quantificação, de modo que a inexistência de comprovação cabal dos valores indevidamente recolhidos representa a ausência de prova pré-constituída indispensável à propositura da ação.