Added typing information for DArrayInitExpr and made elements accessible from outside
Merge pull request #304 from MarcMil/feature-ginstance

Added typing information for DArrayInitExpr and made elements accessible...
now also propagating null constants out of casts
Merge branch 'develop' of github.com:Sable/soot into develop
increased precision: null-casts can never fail
If we swap an assignment that contains an invocation to a pure invoke statement, we need to update the callgraph accordingly
Merge remote-tracking branch 'origin/develop' into develop-patches