{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":")"}]}
    ) -> Ordering {
        b: BasicCoverageBlock,
        self.dominator_order_rank[a].cmp(&self.dominator_order_rank[b])