MOD ::= EXPR*
EXPR ::=
| ASSERT
| BUILTIN
ASSERT ::= assert EXPR
BUILTIN ::= num | bool | str