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