Makes no sense, and I don't see any defined behavior on the calculator for jumping into a block.
Should be easy to do, just pull label statements into their own level of statement above regular statements
labelStatement : "Lbl" labelIdentifier
| statement ;