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