changes to reflect refactorings in soot-infoflow
added a new test case for strong updates
fixed faulty test case