let term_equal (term1: term) (term2: term) : bool =
  (term1.st_offset == term2.st_offset)
  &&
  (Term.term_equal term1.st_term term2.st_term)