let clone_renumbered (var: var) (id: int) : var =
  sanity_check id;
  (var land (lnot max_number)) lor id