let
combineSuccessors s1 s2 =
State
.merge s1 s2