Pattern variable rejected as not in scope after a labeled block exited via break <label> #5172

[jarthana]

What it does

Fixes #5172

How to test

Author checklist

• I have thoroughly tested my changes
• The change is following the coding conventions
• I have signed the Eclipse Contributor Agreement (ECA)

[srikanth-sankaran]

I offer to review after all tests are green.

[jarthana]

Srikanth, there are two changes as part of this PR.

1. The change in LabeledStatement ensures that the variable bindings in scope of a statement (for e.g., while loop) are fetched even when it's wrapped in a labeled statement. This is guarded by a check that tests that the break label is not the same label as that of the labeled statement.
2. The second change in Statement, visit(...) - Earlier, breaksOut returned true if a null label was passed. But I think that should only be allowed when for a non-labeled break statement.

Note: The comments and some of the code were added by the bot :)

[srikanth-sankaran]

Please proceed.