z3 segfaults with the following query. Found while trying the advice in #7770.

z3 version: Z3 version 4.15.4 - 64 bit
built on NixOS from the master branch 21e3168

(set-simplifier solve-eqs)
(assert (and false false))
(check-sat)