MPS-19989 - added tests
MPS-19574, MPS-19989 - updated the dataflow definition for TryStatement and TryCatchStatement making the inserted ifjump instructions mayBeUnreachable, removed a pointless ifjump to finally, added tests covering the reported issues
Rebuilt the test suite