Added back invariant in SSNI.

Broke some of Catalin's proofs on MSNI, sorry!