fix Issue 12809 - More strict nothrow check for try-finally statement
fix Issue 11542 - scope(failure) messes up nothrow checking
improve test case for 4082