pub(super) fn extract_mcdc_mappings(
    mir_body: &Body<'_>,
    body_span: Span,
    basic_coverage_blocks: &CoverageGraph
) -> Vec<BcbMapping>