let mk_rename x i d =
  match i with
    | Some(k) -> 
        Rename(x, k, d)
    | None ->
        incr(k);
        Rename(x, !k, d)