let combineSuccessors = DomSet.inter