let export_and_clear_fields acc =
  let build v t = Fol.Function (v, [], t) in
    export_and_clear field_table build acc