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