method private visit_non_function_var vi =
    try
      (* Visit the initializer if there is one *)
      let init = Globals.Vars.find vi in
      match init with
        | { init = None } -> None
        | { init = Some init } ->
          ignore (Visitor.visitFramacInit (self:>Visitor.frama_c_visitor)
                    vi NoOffset init);
          Some init
    with Not_found -> (* not a global *) None