method
vfunc f =
List
.iter add_variable f.slocals;
DoChildren