let export_and_clear_axioms acc =
  let build ax_name ax = Fol.Axiom (ax_name, ax) in
    export_and_clear axiom_table build acc