test/regress/cli/regress0/boolean-terms-bug-array.smt2

   1 (set-logic AUFLIRA)
   2 (set-info :status sat)
   3
   4 (declare-fun f ((Array Int Bool)) Bool)
   5 (declare-fun y () (Array Int Bool))
   6
   7 (assert (forall ((x (Array Int Bool))) (f y)))
   8
   9 (check-sat)