check_expression
Syntax
<
check_expression
>
::=
<
expression
>
End of the code.