Add pset->set to provides
Speed up singleton-struct predicate