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