Show TOC
check_expression
<
check_expression
>::= <
expression
>