let normalize_literal (literal: Term.literal) : Term.literal  =
  apply_to_literal ~insert_db:true ~normalize:true
    empty literal 0