method vvdec vi =
    if Cil.isFunctionType vi.vtype && consider_function vi then begin
      (* If this function is only declared, and has never been seen before,
         we place it into the no_source table. Defined functions are dealt
         with in vfunc method *)

        if not (self#is_defined_function vi) &&
           not (VInfoMap.mem vi !fundecl_calls)
        then
          self#add_map fundecl_calls vi 0;

    end;
    Cil.SkipChildren