!--a11y-->
check_expression
<
check_expression
> ::=
<
expression
>