Dataflow: Nothing type of finally

If finally-block is Nothing-typed, so whole try expression is Nothing
Generate blocks-statements through CodegenStatementVisitor