method vfile f = let init = Globals.Functions.get_glob_init f in ignore (visitFramacFunspec (self:>Visitor.frama_c_visitor) init.spec); DoChildren