Bugfix: Arrays are heap objects, so we must also look for aliases for them
extended the taint wrapper file a bit
fixed an issue with self-loops in the generated main method which lead to validation errors
fixed path tracking error
removed outdated assertion that does not hold anymore in the current architecture
(1) fixed an issue with phantom classes and hierarchies. If we have a phantom class, we can only check the class itself against the taint wrapper lists, but may not walk up the hierarchy

(2) refactorings and performance improvements
fixed stupid bug in symbolic path traversal
Performance improvement: Special Set implementation for two-element sets
include abstraction in equality check for results
narf
equal abstraction at results are now registered as neighbors
Merge branch 'develop' of github.com:secure-software-engineering/soot-infoflow into unstable
activated test case