let new_fname f x sigma cpt = incr cpt; let sx = Var.basename x in let nx = Var.ident_named_var sx !cpt (Var.var_type x) in nx,(Vmap.add x (f nx) sigma)