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)