{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"//"}]}
                    // Flatten.
                CfgExpr::All(conj) => {
                    literals.extend(Conjunction::new(conj).literals);