Added another testcase
The paths will only be constructed intraproceduralwise from the start point of the analysis, not inside any callers
for the pts problem the fact d1 is now the allocation site (of type Unit)
Push on callstack on processExit function