fn bcb_to_string_sections<'tcx>(
    tcx: TyCtxt<'tcx>,
    mir_body: &Body<'tcx>,
    coverage_counters: &CoverageCounters,
    bcb: BasicCoverageBlock,
    bcb_data: &BasicCoverageBlockData,
    some_coverage_spans_with_counters: Option<&[(CoverageSpan, BcbCounter)]>,
    some_dependency_counters: Option<&[BcbCounter]>,
    some_intermediate_expressions: Option<&[BcbCounter]>
) -> Vec<String>