Another invariant: de-aliasing and dead code removal preserve the state of being SRA'd.
Another invariant: de-aliasing and dead code removal preserve the
state of being SRA'd.

axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language