progress on supporting heap patterns in CIL
excluded pattern rules from ComputeCellsOfInterest
Merge pull request #785 from andreistefanescu/unified-builtins2

added support for heap patterns for heaps represented with cells