let normalize_term (term: Term.term) : Term.term  =
  apply_to_term ~insert_db:true ~normalize:true
    empty term 0