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