pub fn optimize_negations(expr: &TLExpr) -> (TLExpr, NegationOptStats)
Optimize negations in an expression