added support for heap patterns for heaps represented with cells