{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"CfgExpr::All(preds)"}]}
            CfgExpr::All(preds) => {
            CfgExpr::Atom(atom) => Some(query(atom)),
                preds.iter().try_fold(true, |s, pred| Some(s && pred.fold(query)?))