{"ast_node_type":"variable","tokens":[{"end":50,"kind":"keyword","start":0,"text":"let"}]}
            let terminator = bb_data.terminator();
        for (bb, bb_data) in traversal::postorder(body) {
            let is_unreachable = match &terminator.kind {