fixed abstract interpration error:  Memory not deallocated: pfrag.