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