{"ast_node_type":"variable","tokens":[{"end":35,"kind":"keyword","start":0,"text":"let"}]}
        let mut current = *current;
        // Invariant: the control-flow is well-formed at the end of each iteration.
        for &succ in chain {