Function inject_coverage_statements 

fn inject_coverage_statements<'tcx>(
    mir_body: &mut Body<'tcx>,
    graph: &CoverageGraph,
)

Inject any necessary coverage statements into MIR, so that they influence codegen.