ラベルから次のラベルまでがスコープとして認識されちゃってるのか

LabeledStatement:
Identifier : NoScopeStatement

NoScopeStatement:
;
NonEmptyStatement
BlockStatement　　　　　　←これが悪さしてる？