{"ast_node_type":"variable","tokens":[{"end":33,"kind":"keyword","start":0,"text":"let"}]}
                let cond_bitmap =
            CoverageKind::TestVectorBitmapUpdate { bitmap_idx, decision_depth } => {
                    coverage_cx.try_get_mcdc_condition_bitmap(&instance, decision_depth).expect(