refactoring to use HeapGraphWrapper instead of heap graph. now all paths will be aware of deleted edges during symbolic execution (as oppposed to only when searching for paths in the heap graph)