Function inject_statement 

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