{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"match"}]}
                    match conj {
                while let Some(conj) = disj.pop() {
                        CfgExpr::Invalid | CfgExpr::Atom(_) | CfgExpr::All(_) | CfgExpr::Not(_) => {