{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"CfgExpr::All(e)"}]}
        CfgExpr::All(e) => {
        CfgExpr::Any(e) => flatten(CfgExpr::Any(e.into_vec().into_iter().map(make_dnf).collect())),
            let e = e.into_vec().into_iter().map(make_dnf).collect::<Vec<_>>();