{"ast_node_type":"variable","tokens":[{"end":91,"kind":"keyword","start":0,"text":"let"}]}
        let dominator_order = graph::iterate::reverse_post_order(&this, this.start_node());
        // the nodes they dominate. Either preorder or reverse postorder is fine.
        // The coverage graph is created by traversal, so all nodes are reachable.