I believe it's correct. Indeed the labeled statement is parsed as NoScopeStatement, but its `scopeCode` results should go into the enclosing compound statement. That's why we cannot use `semanticNoScope` here.