{"ast_node_type":"impl","tokens":[{"end":51,"kind":"keyword","start":0,"text":")"}]}
    ) -> impl Iterator<Item = BasicCoverageBlock> {
        to_bcb: BasicCoverageBlock,
        self.predecessors[to_bcb].iter().copied().filter(move |&pred| self.dominates(to_bcb, pred))