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