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