moved arith_utils_qe to src/theory/arith