let
combineSuccessors =
State
.inter