let term_mk_addl = Arith.mk_addl