let width_of = function
  | External(_, Bitvector(n)) -> n
  | Fresh(_, _, Bitvector(n)) -> n
  | Rename(_, _, Bitvector(n)) -> n
  | _ -> raise Not_found