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'