method vfunc 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
List.iter formal f.sformals;
DoChildren