- The global variable is now a Frama-C built-in and is not monitored;
- The `varinfo` for the variable, retrieved in module `Prepare_ast` is
  now exposed;
- The variable is added to every generated code so that it can be used
  by a later analysis of E-ACSL.