pub(crate) fn normalize_bool_for_solver(expr: BoolExpr) -> BoolExpr
Normalizes one boolean expression into an equivalent, solver-friendlier form.