{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"CfgExpr::Any(expr)"}]}
        CfgExpr::Any(expr) => CfgExpr::Any(expr.iter().map(make_nnf).collect()),
        CfgExpr::Invalid | CfgExpr::Atom(_) => expr.clone(),
        CfgExpr::All(expr) => CfgExpr::All(expr.iter().map(make_nnf).collect()),