method vvrbl vi =
    if not (self#already_seen vi) then begin
      if Cil.isFunctionType vi.vtype then
        callable <- Varinfo.Set.add vi callable;
      Stack.push vi todo;
    end;
    Cil.SkipChildren