{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":".extend(coverage_info_hi.mcdc_degraded_branch_spans.iter().filter_map(to_mcdc_branch));"}]}
        .extend(coverage_info_hi.mcdc_degraded_branch_spans.iter().filter_map(to_mcdc_branch));
    mcdc_degraded_branches