let add_glob_decls obligs =  W.add_glob_decls obligs