Function inject_coverage_statements

fn inject_coverage_statements<'tcx>(
    mir_body: &mut Body<'tcx>,
    basic_coverage_blocks: &CoverageGraph,
    extracted_mappings: &ExtractedMappings,
    coverage_counters: &CoverageCounters,
)

For each BCB node or BCB edge that has an associated coverage counter, inject any necessary coverage statements into MIR.