Function normalize_bool_for_solver 

pub(crate) fn normalize_bool_for_solver(
    cx: &mut SymCx,
    expr: SymBoolExpr,
) -> SymBoolExpr

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