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