pub fn is_dnf(expr: &TLExpr) -> bool
Check if an expression is in Disjunctive Normal Form (DNF).
An expression is in DNF if it’s a disjunction of conjunctions where negations appear only before predicates.