let
check c p1 p2 =
PSet
.mem p1 (
PTbl
.get c p2)