Dadas as assertivas abaixo, assinale a alternativa correta.
I - De acordo com o entendimento do STJ, o contribuinte pode optar por receber, por meio de precatório ou por compensação, o indébito tributário certificado por sentença declaratória transitada em julgado. II- Conforme entendimento do STJ é incabível o mandado de segurança para convalidar a compensação tributária realizada pelo contribuinte. III- O ajuizamento da ação anulatória de auto de lançamento não prescinde do depósito prévio do montante integral do crédito tributário. IV - O mandado de segurança constitui ação adequada para a declaração do direito à ompensação tributária.