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