= The MiniMP Intermediate Representation =
== Processes ==
== Variables ==
 * !BoundVariable
 * !FormalVariable
 * !LocalVariable
 * !ProcessVariable
 * !SharedVariable
== Types ==
 * !ArrayType
 * !FunctionType
 * !PointerType
 * !RecordType
== Expressions ==
 * !PlusExpression
 * !TimesExpression
 * !DivideExpression
 * !AddressOfExpression
 * LHSExpression
   * !DereferenceExpression
   * !RecordNavigationExpression
 * !ExistsExpression
 * !ForallExpression
 * !IfThenElseExpression
 * !LiteralExpression
 * !NotEmptyExpression
 * !NotFullExpression
 * !QuantifierExpression
 * !VariableExpression
== Statements ==
 * !AllocateStatement
 * !AssertionStatement
 * !AssignmentStatement
 * !AssumeStatement
 * !DeallocateStatement
 * !InvocationStatement
 * !NoopStatement
 * !ReceiveStatement
 * !SendStatement
== Functions ==