Fixed an issue with activation statements that could lead to false positives: Abstractions may not be activated on calls, only on call-to-returns
cleaned up the code a bit and added a new test case
Merge branch 'develop' of github.com:secure-software-engineering/soot-infoflow into develop-implicitFlows

Conflicts:
	src/soot/jimple/infoflow/InfoflowProblem.java