{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"_"}]}
                _ => unreachable!("non-atom {:?}", expr),
                CfgExpr::Atom(atom) => Self { negate: true, var: Some(atom) },
            },