NewStateSet: add basic subsumption