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