{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"//"}]}
            // The dominator rank of each node is its index in a dominator-order traversal.
        for (rank, bcb) in (0u32..).zip(dominator_order) {
            this.dominator_order_rank[bcb] = rank;