{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"//"}]}
        // The coverage graph is created by traversal, so all nodes are reachable.
        let dominator_order = graph::iterate::reverse_post_order(&this, this.start_node());
        assert_eq!(dominator_order.len(), this.num_nodes());