Preparing to handle try finally statements
NullValueAnalysis: Early support for try...catch statements.
NullValueAnalysis: Added additional test.