pub(super) fn find_loop_backedges(
    basic_coverage_blocks: &CoverageGraph
) -> IndexVec<BasicCoverageBlock, Vec<BasicCoverageBlock>>