Different answers produced with different rewrite levels

Hi!

For the following instance, bitwuzla 0.8.1 produces different answers with different rewrite levels:

```
(assert (or false (forall ((q Bool)) (not (= q (forall ((q Bool)) false))))))
(check-sat)
```

```
$ bitwuzla reduced.smt
sat
$ bitwuzla -rwl 0 reduced.smt
unsat
$ bitwuzla -rwl 1 reduced.smt
sat
$ z3 reduced.smt 
unsat
$ cvc5 reduced.smt --force-logic=ALL
unsat
```