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)