{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"CfgExpr::All(inner)"}]}
        CfgExpr::All(inner) => CfgExpr::Any(inner.iter().map(make_nnf_neg).collect()),
        // Convert negated conjunction/disjunction using DeMorgan's Law.
    }