method vfunc fundec =
    current_function <- Some (Globals.Functions.get fundec.svar);
    DoChildren