779       separateMonomial(right[1], c, x);  in processSimpleIntEq()
837         separateMonomial(lhs, a, x);  in processSimpleIntEq()
842           separateMonomial(rhs, c, v);  in processSimpleIntEq()
852             separateMonomial(*i, c, v);  in processSimpleIntEq()
1121   separateMonomial(monomial, c, m);  in updateStats()
1268   separateMonomial(isolatedMonomial, c, var0);  in lessThanVar()
1269   separateMonomial(var2, c, var1);  in lessThanVar()
1320 void TheoryArith3::separateMonomial(const Expr& e, Expr& c, Expr& var) {  in separateMonomial()  function in TheoryArith3
1376   separateMonomial(isolatedMonomial, a, monomialVar);  in projectInequalities()
1458   separateMonomial(ineq2[0], c, x);  in normalizeProjectIneqs()
1665     separateMonomial(*i, c, var);  in pickMonomial()
2184   separateMonomial(varSide, c, x);  in findRationalBound()