PathEdgeFunctions introduces
Removed unnecessary interface
Reversed removed sourcestmt in accesspath
Introduce interface IPathEdge
Refactored PathedIFDSSolver to propagate whole PathEdges
Removed query propagation in AllocSolver
Refactored AllocIFDSSolver to handle PathEdges