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