{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"//"}]}
            // and the assertion explicitly guarantees that.
            // This is implicitly ensured by the reverse postorder traversal,
            let mut successors = data.terminator().successors();