{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"CfgExpr::Atom(atom)"}]}
            CfgExpr::Atom(atom) => Some(query(atom)),
            CfgExpr::Invalid => None,
            CfgExpr::All(preds) => {