Amend MallocElim to be able to erase mallocs which are only stored and freed