let combineSuccessors = VS.union