fn inject_statement(
    mir_body: &mut Body<'_>,
    counter_kind: CoverageKind,
    bb: BasicBlock,
    code_regions: Vec<CodeRegion>
)