Generate blocks-statements through CodegenStatementVisitor
Dataflow: Nothing type of finally

If finally-block is Nothing-typed, so whole try expression is Nothing