let apply_alpha alpha v = 
  try alpha, Vmap.find v alpha
  with Not_found -> 
      let v' = Var.fresh_var v in
      let alpha = Vmap.add v v' alpha in
        alpha, v'