{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"body.basic_blocks.reverse_postorder().iter().map(|&bb|"}]}
    body.basic_blocks.reverse_postorder().iter().map(|&bb| (bb, &body.basic_blocks[bb]))
{
}