diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index 9c0a53d6a3800d7f1fce796a7dee9b051d05d35e..4ea8648e40dc63301f34c82cb47896ec507e368a 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -717,6 +717,7 @@ src/plugins/aorai/aorai_dataflow.mli: AORAI_LGPL
 src/plugins/aorai/aorai_graph.ml: AORAI_LGPL
 src/plugins/aorai/aorai_graph.mli: AORAI_LGPL
 src/plugins/aorai/aorai_metavariables.ml: AORAI_LGPL
+src/plugins/aorai/aorai_metavariables.mli: AORAI_LGPL
 src/plugins/aorai/aorai_option.ml: AORAI_LGPL
 src/plugins/aorai/aorai_option.mli: AORAI_LGPL
 src/plugins/aorai/aorai_register.ml: AORAI_LGPL
diff --git a/src/plugins/aorai/aorai_metavariables.mli b/src/plugins/aorai/aorai_metavariables.mli
new file mode 100644
index 0000000000000000000000000000000000000000..50051d5d33563e7df56d0d25f3076cf8713f3ff1
--- /dev/null
+++ b/src/plugins/aorai/aorai_metavariables.mli
@@ -0,0 +1,26 @@
+(**************************************************************************)
+(*                                                                        *)
+(*  This file is part of Aorai plug-in of Frama-C.                        *)
+(*                                                                        *)
+(*  Copyright (C) 2007-2018                                               *)
+(*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
+(*         alternatives)                                                  *)
+(*    INRIA (Institut National de Recherche en Informatique et en         *)
+(*           Automatique)                                                 *)
+(*    INSA  (Institut National des Sciences Appliquees)                   *)
+(*                                                                        *)
+(*  you can redistribute it and/or modify it under the terms of the GNU   *)
+(*  Lesser General Public License as published by the Free Software       *)
+(*  Foundation, version 2.1.                                              *)
+(*                                                                        *)
+(*  It is distributed in the hope that it will be useful,                 *)
+(*  but WITHOUT ANY WARRANTY; without even the implied warranty of        *)
+(*  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         *)
+(*  GNU Lesser General Public License for more details.                   *)
+(*                                                                        *)
+(*  See the GNU Lesser General Public License version 2.1                 *)
+(*  for more details (enclosed in the file licenses/LGPLv2.1).            *)
+(*                                                                        *)
+(**************************************************************************)
+
+val checkInitialization : Promelaast.typed_automaton -> unit