- when optimizing Phi(St, ST, ...) handle correctly the case that the Stores
   might be cascaded

[r7959]