pub fn is_normal_form(expr: &Expr) -> bool
Check if an expression is already in normal form.
An expression is in normal form if normalizing it yields the same expression.