method vfunc f =
curFundec := f;
(* For simplicity, consider formals as self-cursors initially.
* This is the way we declare bases (in the image of [cursor_to_base]).
*)
let formal v =
if candidate_var v then add_cursor_to_base v v
in
let local v =
(* Consider local arrays as candidate base pointers *)
if isArrayType v.vtype then formal v
in
List.iter formal f.sformals;
List.iter local f.slocals;
DoChildren