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