method vfunc fd =
    if String.compare fd.svar.vname (!live_func) = 0 then
      (Cfg.clearCFGinfo fd;
       ignore(Cfg.cfgFun fd);
       computeLiveness fd;
       if String.compare (!live_label) "" = 0 then
         (printer := min_print;
          print_everything ();
          SkipChildren)
       else DoChildren)
    else SkipChildren