let term_mk_sub  = Arith.mk_sub