); constraint array_bool_and([BOOL____00000, BOOL____00000], BOOL____00000); constraint array_bool_and([BOOL____00000, BOOL____00000], BOOL____00000); constraint int_eq_reif(x[0], 0, BOOL____00000) :: defines_var(BOOL____00000); constraint int_eq_reif(x[0], 0, BOOL____00000) :: defines_var(BOOL____00000); constraint int_eq_reif(x[0], 0, BOOL____00000) :: defines_var(BOOL____00000); constraint int_eq_reif(x[0], 0, BOOL____00000) :: defines_var(BOOL____00000); constraint int_le