https://5dok.org/document/ozlxmv6z-arc-consistency-for-chain-of-lexicographic-ordering-constraints.html