let
combineSuccessors =
VS
.union