pub fn is_temporal_nnf(expr: &TLExpr) -> bool
Check if formula is in negation normal form for temporal operators.
In temporal NNF, negations only appear directly before predicates.