Completeness regression in LRA with one quantifier

```
// z3 commit: 082ec0f49988712c683b1737356e27f2d6416455

$ z3-4.8.10 unknown.smt2
sat
$ z3trunk unknown.smt2
unknown
$ cat unknown.smt2
(declare-const x2 Bool)
(declare-const x9 Bool)
(declare-fun x () Real)
(assert (< x (ite (forall ((x Bool)) (ite x x9 x2)) 0.0 1.0)))
(check-sat)
```