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