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'