method
vvrbl vi =
if
Cil
.isFunctionType vi.vtype
then
self
#
reached_vi vi;
Cil
.
SkipChildren