A few more fixes to the exception handling implementation ('finally'
blocks).
Added other two sophisticated tests for exception handling.