{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"mcdc_degraded_branches.extend(branch_mappings);"}]}
            mcdc_degraded_branches.extend(branch_mappings);
        if branch_mappings.len() != branches.len() {
            return None;