method vglob_aux g = match g with
    | GFun (_, _loc) when !Db.Value.is_called (Extlib.the self#current_kf) ->
        Cil.DoChildren
    | _ -> Cil.SkipChildren