We now allow the backward solver to process forward calls for finding aliases which are not produced in the current function, but in a callee.
fixed AbstractionWithPath, and cleaned up the code
fixed an endless loop - still needs some cleanup, but should be stable
some comments
Merge branch 'develop' of https://github.com/secure-software-engineering/soot-infoflow.git into develop
changed taint wrappers to return full access paths instead of just values which allows for more precise taint construction

removed some unused code
Merge branch 'develop' of https://github.com/secure-software-engineering/soot-infoflow.git into develop
commented in some lines that were commented out for debugging purposed, but made it into the repo by accident
merge
Merge branch 'develop' of https://github.com/secure-software-engineering/soot-infoflow.git into develop
fixed heapTest1
merged
Merge branch 'develop' of https://github.com/secure-software-engineering/soot-infoflow.git into develop
fixed string test case
fixed testcase assertion
fixed another assertion
additional test update
some comments
fixed assertion for test case
made the taint wrapper interface more precise by directly working on access paths