Function normalize_expr_for_solver 

pub(crate) fn normalize_expr_for_solver(
    cx: &mut SymCx,
    expr: SymExpr,
) -> SymExpr

Normalizes one word expression into an equivalent, solver-friendlier form.