{"ast_node_type":"variable","tokens":[{"end":62,"kind":"keyword","start":0,"text":"while"}]}
            while let Some(location) = back_edge_stack.pop() {
            // move path may be uninitialized at loop entry.
                if dfs_iter(&mut result, location, true) {