A

Alfa está amparada pelos efeitos da coisa julgada, logo, o reconhecimento posterior da constitucionalidade da Lei n.º X pelo STF não produz efeitos em relação a ela, quer esse reconhecimento tenha ocorrido em sede de controle concentrado, quer em controle difuso;

B

caso o STF tenha reconhecido a constitucionalidade da Lei nº X em sede de controle difuso ou concentrado, essa decisão somente irá se sobrepor à coisa julgada que se formou em favor de Alfa com o manejo da ação rescisória, produzindo efeitos a partir da decisão favorável obtida pelo fisco nesta última;

C

caso o STF tenha reconhecido a constitucionalidade da Lei nº X em sede de controle concentrado, essa decisão se sobrepõe automaticamente à coisa julgada que se formou em favor de Alfa, autorizando que o Estado Beta cobre todos os créditos devidos por esta sociedade empresária, anteriores e posteriores à referida decisão;

D

caso o STF tenha reconhecido a constitucionalidade da Lei nº X em sede de controle difuso, com repercussão geral reconhecida, serão automaticamente interrompidos os efeitos da coisa julgada formada em favor de Alfa, mas isto apenas para o futuro, observadas, ainda, as limitações constitucionais ao poder de tributar; 

E

caso o STF tenha reconhecido a constitucionalidade da Lei nº X em sede de controle difuso, ainda que sem repercussão geral, essa decisão se sobrepõe automaticamente à coisa julgada que se formou em favor de Alfa, de modo que o Estado Beta cobre os créditos devidos por esta sociedade empresária, constituídos em momento anterior à decisão.