let for_all c f p = PSet.for_all f (PTbl.get c p)