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