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