ADI não fica prejudicada quando Supremo a julga sem saber de revogação da lei