In some rare cases the tracking of Array values fails

[Michael Eichberg]

E.g., when we have to analyze the following code an error is thrown:

Object[] foo = ...

if(...)
   foo = new List[...]
else
   foo = new Set[...]

Object o = foo[0]

[Michael Eichberg]

This issue is now resolved in the current development branch and the fix will be available with the next merge with the master branch.