{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"if"}]}
            if visited.insert(block) {
            // If we haven't visited this block before, then make sure we visit its predecessors.
                queue.extend(predecessors[block].iter().cloned());