pub fn is_cnf(expr: &TLExpr) -> bool
Check if an expression is in Conjunctive Normal Form (CNF).
An expression is in CNF if it’s a conjunction of disjunctions where negations appear only before predicates.