{"ast_node_type":"variable","tokens":[{"end":41,"kind":"keyword","start":0,"text":"while"}]}
        while let Some(b) = stack.pop() {
    ) {
            let mut is_ever_initialized = result[b][l]; // It must be filled, as we use it as mark for dfs