{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"body.basic_blocks.iter_enumerated().all(|(bb,"}]}
    body.basic_blocks.iter_enumerated().all(|(bb, bb_data)| {
        bb == START_BLOCK