(declare-fun a () (Array Bool Bool))
(declare-fun b () (Array Bool Bool))
(declare-fun c () Bool)
(declare-fun d () Bool)
(declare-fun e () Bool)
(assert (= a (store b c d)))
(assert (distinct e (select a (select b d))))
(assert (or (and d e)))
(assert (or e c))
(check-sat-using (then dom-simplify smt))