Function gf::smt::simplifier::normalize_commutative

pub fn normalize_commutative(expr: Expr) -> Result<Expr, Expr>

⚪ Normalize commutative operators so that if there is a constant operand, it is the second one.