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