Fixed the case of missing default label which is used only by EOF checks.

Fixed the case of missing default label which is used only by EOF checks.

The current fix may sometimes cause generation of unused default label, because
at the time when it's generated we haven't geerated the code for EOF checks yet
and do nt know if default label is really needed. This is what happens in the
updated test cases.