MOD ::= EXPR*
EXPR ::=
| ASSERT
| EQNE
ASSERT ::= assert EXPR
EQNE ::=
| CMP
| CMP eq CMP
| CMP ne CMP
CMP ::= BUILTIN ((lt | le | ge | gt) BUILTIN)?
BUILTIN ::= num | bool | str