{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"s"}]}
                s if *s == sym::any => CfgExpr::Any(preds.into_boxed_slice()),
                s if *s == sym::all => CfgExpr::All(preds.into_boxed_slice()),
                s if *s == sym::not => {