antes daquela decisão no recurso extraordinário que reconheceu a inconstitucionalidade do tributo federal, você já havia interposto mandado de segurança para assegurar o direito do seu cliente de compensar os valores já pagos, mas ainda não há decisão transitada em julgado nessa ação;