let alpha_bound_var alpha v =
  let old = try Some (Vmap.find v alpha) with Not_found -> None in
  old, Vmap.add v v alpha