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