let combineSuccessors s1 s2 = State.merge s1 s2