account for MemAreas in ivory-quickcheck