pub fn is_nnf(expr: &ExprRef) -> bool
Verifies whether the expression is in Negative Normal Form (NNF).
Note that NNF isn’t canonical, different expressions might be logically equivalent but different.