method vglob_aux g =
    must_add_decl <- Varinfo.Set.empty;
    let add_decl l =
      Varinfo.Set.fold
        (fun x l ->
           PropagationParameters.feedback ~level:2
             "Adding declaration of global %a" !Ast_printer.d_var x;
           GVarDecl(Cil.empty_funspec(),x,x.vdecl)::l)
        must_add_decl l
    in ChangeDoChildrenPost([g],add_decl)