Sas envelopes: Simplify away some redundant state.