{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"body.basic_blocks.reverse_postorder().iter().copied().collect();"}]}
            body.basic_blocks.reverse_postorder().iter().copied().collect();
        let rpo: IndexVec<BasicBlock, BasicBlock> =
        if rpo.iter().is_sorted() {