!--a11y-->
monitor_statement
<
monitor_statement
> ::=
MONITOR INIT