predicate lex_lesseq_int(array[int] of var int: x ::promise_ctx_antitone,
                         array[int] of var int: y ::promise_ctx_monotone) ::mzn_deprecated("2.6.0","https://www.minizinc.org/doc-2.6.0/en/lib-globals.html#deprecated");
predicate lex_leq_int(array[int] of var int: x ::promise_ctx_antitone,
                      array[int] of var int: y ::promise_ctx_monotone) ::mzn_deprecated("2.6.0","https://www.minizinc.org/doc-2.6.0/en/lib-globals.html#deprecated");
