let combineSuccessors = State.inter