{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"for"}]}
            for succ_bb in bb_data.terminator().successors() {
            // Add successor BBs to the work list, if necessary.
                if self.visited.insert(succ_bb) {