save and restore S0 (ie. the  predicates)