the version before this commit is the version with many overloading getAbstractMemLoc methods in AbstractHeap, I have done some renaming and refactorying for some classes especially for abstractHeap class, I also have done some change because we make some slight changes
just merging