{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":");"}]}
        );
            body.basic_blocks.len()
        let bbs = if self.term_patch_map.is_empty() && self.new_blocks.is_empty() {