let
has c p1 = not (
PSet
.is_empty (
PTbl
.get c p1))