let
combineSuccessors =
DomSet
.inter