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