A ação por meio da qual o sujeito passivo da obrigação tributária visa a estabelecer em seu favor uma decisão judicial aplicável a casos futuros, invalidando determinada lei que sustente a pretensão do fisco, denomina-se