Update local block refinement rule
MODIFY
ir/memory.cpp
ir/memory.cpp
@@ -797,7 +797,7 @@ expr Pointer::refined(const Pointer &other) const {
// TODO: this induces an infinite loop
//local &= block_refined(other);
- return expr::mkIf(isLocal(), isHeapAllocated().implies(local), *this == other)
+ return expr::mkIf(isLocal(), move(local), *this == other)
&& isBlockAlive().implies(other.isBlockAlive());
}

Update local block refinement rule (#461)