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