pub fn create_deep_negation(depth: usize) -> TLExpr
Create a deeply nested expression for stress testing.
Creates an expression of the form: ¬¬¬…¬P (depth negations)