rewrite except-as semantics using try-finally - seems to be the easiest way to get flow control analysis working for all cases