* Added deallocation for Rpl and Effect Summary Maps
* Merged all vector destructors into one templated code
* More code editing to follow LLVM coding style