diff --git a/src/plugins/variadic/environment.ml b/src/plugins/variadic/environment.ml
index 77cbd5aa164e25b86baa964fd344662d60f772d2..e561d19a840790e654362ed126dcde9c1018556b 100644
--- a/src/plugins/variadic/environment.ml
+++ b/src/plugins/variadic/environment.ml
@@ -90,6 +90,12 @@ let find_type (env : t) (namespace : Logic_typing.type_namespace)
   | Logic_typing.Enum ->
     TEnum (find_enum env tname, [])
 
+let mem_global (env : t) (vname : string) : bool =
+  Table.mem env.globals vname
+
+let mem_function (env : t) (vname : string) : bool =
+  Table.mem env.functions vname
+
 let from_file (file : file) : t =
   let env = empty () in
   let v = object inherit Cil.nopCilVisitor
diff --git a/src/plugins/variadic/environment.mli b/src/plugins/variadic/environment.mli
index 9163b7b16cd5b49637fd03b67f358667a0a92c28..d8e54a24f77c9bf0ff48d574824ef0823fa820d1 100644
--- a/src/plugins/variadic/environment.mli
+++ b/src/plugins/variadic/environment.mli
@@ -34,3 +34,6 @@ val find_struct : t -> string ->  Cil_types.compinfo
 val find_union : t -> string ->  Cil_types.compinfo
 val find_enum : t -> string ->  Cil_types.enuminfo
 val find_type : t -> Logic_typing.type_namespace -> string -> Cil_types.typ
+
+val mem_global : t -> string -> bool
+val mem_function : t -> string -> bool