Invalid assumptions in array model generation

[bclement-ocp]

Alt-Ergo crashes with an assertion failure in the union-find module with the following input:

; 1212.smt2
(set-logic ALL)
(set-option :produce-models true)
(declare-const a (Array Int Int))
(declare-const b (Array Int Int))
(assert (= (store a 0 0) (store b 0 0)))
(check-sat)
(get-model)

Using 0d6300e (current next at the time of writing):

$ alt-ergo 1212.smt2
; File "1212.smt2", line 7, characters 1-12: I don't know (0.0147) (8 steps) (goal g_1)

unknown
Fatal error: exception File "src/lib/reasoners/uf.ml", line 1276, characters 14-20: Assertion failed