let term_is_arith = Arith.is_interp