predicate table_int(array[int] of var int: x, array[int, int] of int: t);