{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"CfgExpr::Not(expr)"}]}
            CfgExpr::Not(expr) => match *expr {
            CfgExpr::Atom(atom) => Self { negate: false, var: Some(atom) },
                CfgExpr::Invalid => Self { negate: true, var: None },