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