let remove c p1 p2 =
    PTbl.set c p1 (PSet.remove p2 (PTbl.get c p1));
    PTbl.set c p2 (PSet.remove p1 (PTbl.get c p2))