-
Sven Keidel authored
There are now two abstract domains for exceptions, `PropagateError`, which is used in case the language only _propagates_ the error and `HandleError` in case the language allows to _handle_ excepctions. Furthermore, I unified the interfaces for `ArrowTry` and `ArrowTryCatch`.