parser: check for ; after goto statements