fn bcb_filtered_successors<'a, 'tcx>(
    terminator: &'a Terminator<'tcx>
) -> CoverageSuccessors<'a>