Invalid model for UFNRA formula

[rainoftime]

Hi, for the following formula, z3 (commit 7f1b147) gives an invalid model

(set-logic UFNRA)
(declare-fun _substvar_29_ () Real)
(declare-fun _substvar_31_ () Real)
(set-option :model_validate true)
(set-option :smt.arith.solver 1)
(declare-const r0 Real)
(push 1)
(assert (<= r0 _substvar_31_ 1.0 r0))
(check-sat)
(declare-sort S0 0)
(assert (exists ((q14 Real) (q15 S0) (q16 S0) (q17 Real)) (distinct q17 0.1919438545 0.0)))
(push 1)
(pop 1)
(pop 1)
(assert (<= r0 _substvar_29_ 1.0 r0))
(check-sat)