solve_expression  353 src/Associativity.cpp         exprs[idx] = solve_expression(exprs[idx], op_x_names[idx]).result; // Move 'x' to the left as possible
solve_expression  920 src/Solve.cpp              SolverResult solved = solve_expression(le, var, scope);
solve_expression  977 src/Solve.cpp              SolverResult solved = solve_expression(ge, var, scope);
solve_expression 1364 src/Solve.cpp      SolverResult solved = solve_expression(a, "x");
solve_expression 1434 src/Solve.cpp          SolverResult solved = solve_expression(x + e < e*e, "x");
solve_expression 1447 src/Solve.cpp                  SolverResult solved = solve_expression(in[j], "x");
solve_expression 1469 src/Solve.cpp      SolverResult solved = solve_expression(e, "x");
solve_expression 1475 src/Solve.cpp      internal_assert(!solve_expression(x*x < 4, "x").fully_solved);
solve_expression 1585 src/Solve.cpp          SolverResult solved = solve_expression(expr, "y");
solve_expression   26 src/Solve.h    EXPORT SolverResult solve_expression(
solve_expression  221 src/TrimNoOps.cpp                 SolverResult solved = solve_expression(test, loop.var);