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