let term_eq = Term.eq