Merged requested to merge arthuraa/iris:heaplang-pointer-comparison into master
As noted in #487, it does not make sense to prevent comparing two locations for their relative order. This MR extends HeapLang to allow that.
One thing that is not clear to me is how we should express the comparison. Right now, the implementation calls
loc_car to extract the underlying integer. This is a bit ugly, but I don't know if it would make sense to add another order predicate just for locations.