let mk_new name ty =
    
    (** Notice that make_logic_var create a frech variable. * This is intended since several calls shouldn't share the same variable ! **)

    let v = Cil_const.make_logic_var name ty in
      new_vars := v::!new_vars;
      v