let add_glob_decls acc =
  let acc = T.export_fct_table M.fol acc in
    WpFol.export_tables acc