Handle exceptional flows more precisely

[ericbodden]

Currently, Heros models exceptions such that they generate a return edge, but at the side of the caller, Heros fails to detect that the control flow may then have to continue at the respective exception handler. This should be improved.