{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"//"}]}
                            // Flatten.
                        CfgExpr::Any(inner_disj) => {
                            disj.extend(inner_disj.into_vec().into_iter().rev());