253-A e 253-B de 29/04/2010) formou caso julgado formal quanto à legitimidade dos AA iniciais e à existência de litisconsórcio necessário entre estes e as intervenientes R..., S.A. e P..., S.A., o que obstava a que, no saneador, se decidisse pela ilegitimidade daqueles AA.