(set-option :verbose true)
(declare-const x Real)
(declare-const y Real)
(declare-const z Real)
(assert (= (+ (+ x y) z) 5.0))
(debug graph)
(check-sat)
(get-model)
-------------------------
0 ==> true
1 ==> false
2 ==> x
3 ==> y
4 ==> z
5 ==> $2 + $3 + $4
6 ==> 5.0
7 ==> $5 = $6
8 ==> assert $7
delta_sat with absolute precision 0.0009765625
30 iterations of propagation
16 decisions
  70 narrowing of a value interval
  46 narrowing of a constraint interval
x = [-0.000000,0.000489]
y = [0.999511,1.000000]
z = [3.999511,4.000000]