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