Add a predicate that returns true for addresses contained by the heap.

Change-Id: Iaa2978c59fc314563555b14f53bdc28be6b71cc4
2 files changed