{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"self.stack.push(Event"}]}
                    self.stack.push(Event { node, becomes: Settled });
                    // schedule its successors for examination.
                    for succ in self.graph.successors(node) {