1 2 3 4 5 6
; COMMAND-LINE: --ackermann --no-check-unsat-cores ; EXPECT: unsat (set-logic QF_ALIA) (declare-fun a () (Array Int Int)) (assert (distinct (select a 0) (select (ite false a a) 0))) (check-sat)