Implementing the Heap Consistency Checker, worth 5 pts