Block statement
A block statement is a statement, which consists of one or more comma separated operands (debug operands). The block statement is terminated by a ';'. Block statements are typically used in for loops or instead of defining a statement block, i.e. a list of statements enclosed in { ... }.
Definition:
basic_stmt := stmt_operlist ';'