fn bcb_filtered_successors<'a, 'tcx>(
    body: &'a Body<'tcx>,
    term_kind: &'a TerminatorKind<'tcx>
) -> Box<dyn Iterator<Item = BasicBlock> + 'a>