test.smt2 268 B
(set-logic ALIRA)
(declare-fun s_ () (Array Int Real))
(declare-fun s () (Array Int (Array Int Real)))
(assert (and (forall ((_? Int)) false) (or false (exists ((_? Int)) (and true (exists ((__? Int)) (distinct (select s_ 0) (select (select s 0) 0))))))))
(check-sat)