{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"CoverageKind::VirtualCounter"}]}
            CoverageKind::VirtualCounter { bcb }
            ),
                if let Some(&id) = ids_info.phys_counter_for_node.get(&bcb) =>