predicate global_cardinality_low_up(array[$X] of var int: x,
                                    array[$Y] of int: cover,
                                    array[$Y] of int: lbound,
                                    array[$Y] of int: ubound)
          :: mzn_deprecated("2.6.0","https://www.minizinc.org/doc-2.6.0/en/lib-globals.html#deprecated");
