check_expression

<check_expression> ::=
  <
expression>