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