Function gf::smt::simplifier::equivalences

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

⚪ Reduce arithmetic and bitwise expressions to simpler equivalent ones.

In particular, this covers:

• Not(Not), Not(Eq), Not(Ne);
• Add, Or, Sub, Xor with a zero second operand;
• And, Mul with a zero second operand;
• And, Or, Sub, Xor with identical operands.