pub(crate) fn normalize_expr_for_solver(expr: Expr) -> Expr
Normalizes one word expression into an equivalent, solver-friendlier form.