Moving the verification of label, goto, and break statements to the parser