This section describes the details of the MIR format. Three Node-subclasses can appear in at the MIR level that cannot appear at the AST level: operandNode, conditiongotoNode, and threeAddrNode. We then describe the restrictions that are placed on existing Node types that may appear at the MIR level.