Handle eof after return/yield
Don't export empty statements to sub-methods, and add missing traversal step for labelled statements
Remove unnecessary jumps in generated switch code