Removed termination manager, moved some packages
Updated test cases
Removed ParentInfo
Moved logic
removed function
Introduced ParentedPathedEdge keeping information about ASolver
Removed source stmt in AccessPath as it is actually not necessary
Replaced graph structure of JumpFunctions
Corrected issue in recursivelyAskForAlias, Moved some methods