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