let apply_to_literal ?(insert_db: bool = true) ?(normalize: bool = true)
    (subst: subst) (literal: Term.literal) (offset: int) : Term.literal =
  let term =
    apply_to_term ~insert_db:insert_db ~normalize:normalize subst literal.Term.atom offset
  in
    Term.request_literal ~insert_db:insert_db literal.Term.sign term