Function bcb_filtered_successors 

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