Dominik Helm

Note that the code we're discussing about is from [this commit](https://github.com/opalj/opal/commit/5fa2e9e7) and unchanged since then. Interestingly, [here](https://github.com/opalj/opal/commit/5fa2e9e7#diff-07244ddfbad5cde1b668957239bdb6ba1589c19c74954304a1ebd38e81ca3f9fL737), code in `TypeLevelReferenceValues` that used to produce an `InitializedObjectValue` was changed to `ObjectValue`...

@johannesduesing Could you try if #254 fixes the issue?

Dear @Lapeno01, thank you for your suggestion. We are aware of the issues that the frequency of (implicit) exception in Java raise for CFGs (and the derived (post-)dominator trees), so...

Thank you for your input. This is very valuable since we were pondering exception-agnostic post-dominator trees just recently as well. However, I can't quite fully follow your answers there: -...