Function bcb_filtered_successors

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