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