let cut d p d' = assert (PSet.mem p d); PSet.union (PSet.remove p d) d'