Soundness bug in quantified formula

[6b6e1e0](https://github.com/Z3Prover/z3/commit/6b6e1e017b86a7ef13ba72f7b618e971c972ee20)

```
$z3 bug.smt2
sat
$cvc5 -q bug.smt2
unsat
$ cat bug.smt2       
(assert (forall ((U Int) (V Int)) 
(not (= (* 3 U) (+ 22 (* (- 5) (- (* (- 5) (- 5 22)) 
(+ 22 (* (- (* 3 U) (* (* (- 5) V) (+ 22 (* (- 5) V)))) V)))))))))
(check-sat)
```