Successfully added Heap as a dependency in ILImp.v