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