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