{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"//"}]}
        // then A will be visited before B.
        // This is a post-order traversal, so that if A post-dominates B
        let postorder: Vec<_> = traversal::postorder(body).map(|(bb, _)| bb).collect();