Function inject_mcdc_statements

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

For each conditions inject statements to update condition bitmap after it has been evaluated. For each decision inject statements to update test vector bitmap after it has been evaluated.