(set-option :verbose true)
(declare-const x Real)
(assert (= (+ x 1.0) 1.0))
(debug graph)
(check-sat)
(get-model)
(declare-const y Real)
(assert (= (+ x -2.0) y))
(debug graph)
(check-sat)
(get-model)
-------------------------
0 ==> true
1 ==> false
2 ==> x
3 ==> $2 + 1.0
4 ==> 1.0
5 ==> $3 = $4
6 ==> assert $5
sat
2 iterations of propagation
0 decisions
  7 narrowing of a value interval
  7 narrowing of a constraint interval
x = 0.0
0 ==> true
1 ==> false
2 ==> x
3 ==> $2 + 1.0
4 ==> 1.0
5 ==> $3 = $4
6 ==> assert $5
7 ==> y
8 ==> $2 + -2.0
9 ==> $8 = $7
10 ==> assert $9
sat
3 iterations of propagation
0 decisions
  11 narrowing of a value interval
  11 narrowing of a constraint interval
x = 0.0
y = -2.0