Soundly handle `setjmp` and `longjmp`

[michael-schwarz]

There was an attempt in #764 but we are aiming at a more general solution here at TUM.

Pulled-out from #868