Support label and if-goto statements