let new_name x sigma cpt = incr cpt; let sx = Var.basename x^(string_of_int !cpt) in let nx = Var.fresh_named_var sx (Var.var_type x) in nx,(Vmap.add x nx sigma)