Invalid model issue with --finite-model-find

[merlinsun]

Hi,
cvc5 6bb447a gives an invalid model for the following instance.

$ cat small.smt2 
(declare-fun u (Int) Int)
(declare-fun b (Int) Int)
(assert (forall ((v Int)) (exists ((V Int)) (distinct v (b (- 1 (div 0 (u v))))))))
(check-sat)
$ cvc5 --finite-model-find --check-models -q small.smt2
Fatal failure within void cvc5::internal::smt::CheckModels::checkModel(cvc5::internal::theory::TheoryModel*, const cvc5::context::CDList<cvc5::internal::NodeTemplate<true> >&, bool) at /home/cvc5/src/smt/check_models.cpp:146
Internal error detected SolverEngine::checkModel(): ERRORS SATISFYING ASSERTIONS WITH MODEL:
assertion:     (forall ((v Int)) (exists ((V Int)) (distinct v (b (- 1 (div 0 (u v)))))))
simplifies to: false
expected `true'.
Run with `--check-models -v' for additional diagnostics.
Aborted (core dumped)