Precedentes Judiciais Em Matéria Tributária No Stf: Pragmática Da Aplicação Das Súmulas Vinculantes E Os Critérios De Verificação Para Aplicação E Distinção (Distinguishing)