sig val new_vars : Cil_types.logic_var list Pervasives.ref val get_and_init : unit -> Cil_types.logic_var list val mk_new : string -> Cil_types.logic_type -> Cil_types.logic_var end