It is guaranteed that this preordering lattice is uniquely determined given a set of preordering candidates A, and the final graph structure does not depend on the integrating order.
we can merge new lattice paths by enumerating preordering candidates one-by-one.