let apply_to_term  ?(insert_db: bool = true) ?(normalize: bool = true)
    (subst: subst) (term: Term.term) (offset: int) : Term.term =
  fst (apply_to_term' ~insert_db:insert_db ~normalize:normalize subst term offset [])