Segmentation fault [btor>main] CAUGHT SIGNAL 11

[muchang]

Hi,
boolector throws out a segmentation fault on this case:

[505] % z3 small.smt2
sat
[506] % cvc4 -q small.smt2
unknown
[507] % boolector small.smt2
[btor>main] CAUGHT SIGNAL 11
unknown
Segmentation fault
[508] % 
[508] % cat small.smt2
(declare-fun f ((_ BitVec 1)) (_ BitVec 1))
(declare-fun g ((_ BitVec 1)) Bool)
(declare-fun h ((_ BitVec 1)) Bool)
(declare-const a (_ BitVec 1))
(assert (forall ((x (_ BitVec 1))) (distinct (= (f x) a) (xor (g x) (h x)))))
(check-sat)
[509] %

OS: Ubuntu 18.04
Commit: 0d478fe