pub fn create_nested_quantifiers(depth: usize) -> TLExpr
Create nested quantifiers for stress testing.