Working on support for 'finally' blocks: re-designed the code to enable
inlining of 'finally' blocks.