predicate all_different_int(array[int] of var int: x);