let display_one fmt v =
State_set.iter (fun value ->
if not (Cvalue.Model.is_reachable value) then
Format.fprintf fmt "Statement (x%d): UNREACHABLE@\n" v.counter_unroll
else
Format.fprintf fmt "Statement (x%d)@\n%a"
v.counter_unroll
Cvalue.Model.pretty
value)
v.value