cut back on jumpFn even more
removed unnecessary notifications
added failing test case
performance improvements
Merge branch 'unstable' of github.com:secure-software-engineering/soot-infoflow into unstable