Another likely different segfault from #3771 according to -v:10.
[595] % z3 small.smt2
Segmentation fault
[596] %
[596] % cat small.smt2
(set-option :smt.string_solver z3str3)
(declare-fun a () String)
(assert (distinct (str.++ a "ab") (str.++ "ab" a)))
(check-sat-using unit-subsume-simplify)
[597] %
OS: Ubuntu 18.04
Commit: 2ed26e8
Another likely different segfault from #3771 according to -v:10.
OS: Ubuntu 18.04
Commit: 2ed26e8