Segmentation fault on QF_ANIA instance

[ds0ayane]

Hi! Yices crashes on the following QF_ANIA instance.

(set-logic QF_ANIA)
(declare-const x0 (Array (Array Bool Bool) Bool))
(declare-const x1 (Array Bool Bool))
(declare-const a (Array Bool Bool))
(assert (= (store (store x0 x1 false) (store a false false) false) (store x0 (store a true false) false)))
(assert (select a false))
(check-sat)

$ ./yices reduced.smt
Segmentation fault (core dumped)

Version:

$ ./yices --version
Yices 2.6.5
Copyright SRI International.
Linked with GMP 6.2.1
Copyright Free Software Foundation, Inc.
Build date: 2024-07-31
Platform: x86_64-pc-linux-gnu (release/static)
Revision: 8e6297e233299631147f98659224c3118fc6a215