let pretty_code fmt = function
        | Fixed c1 -> Format.fprintf fmt "Fixed@ %d" c1
        | Interval (c1,c2) ->
          Format.fprintf fmt "Interval@ (%d,@;%d)" c1 c2
        | Bounded(c1,c2) ->
          Format.fprintf fmt "Bounded@ (%d,@;%a)" c1
            Cil_datatype.Term.pretty_code c2
        | Unbounded c1 -> Format.fprintf fmt "Unbounded@ %d" c1