-// Validate(Acquire, [(*_5): i32/ReScope(Node(ItemLocalId(10)))]);
-// Validate(Release, [_2: (), _3: &ReScope(Node(ItemLocalId(10))) Test, _5: &ReScope(Node(ItemLocalId(10))) mut i32]);
+// Validate(Acquire, [(*_5): i32/ReScope(Node(ItemLocalId(13)))]);
+// Validate(Release, [_2: (), _3: &ReScope(Node(ItemLocalId(13))) Test, _5: &ReScope(Node(ItemLocalId(13))) mut i32]);