{"ast_node_type":"variable","tokens":[{"end":77,"kind":"keyword","start":0,"text":"if"}]}
                    if let Some((_, alloc)) = self.memory.alloc_map.get(id) {
                    // global memory cannot point to memory relevant for the leak check.
                        todo.extend(