{"ast_node_type":"variable","tokens":[{"end":65,"kind":"keyword","start":0,"text":"if"}]}
        if let Some((_, alloc)) = self.memory.alloc_map.get(id) {
        // b) duplicate a global's allocation in miri
            return AllocInfo::new(