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