anchor.diff:      ;
   
   facilityItem
  -    :   stateVariableDecl
  -    |   facilityDecl
  +    :   facilityDecl
  +    |   facilitySharedStateRepresentationDecl
       |   facilityTypeRepresentationDecl
       |   recursiveOperationProcedureDecl
       |   operationProcedureDecl
       |   recursiveProcedureDecl
       |   mathDefinitionDecl
  -    |   moduleFacilityInit
  -    |   moduleFacilityFinal
       ;
   
   // short facility module
  
positive.code:         END SEMICOLON
      ;
  
  facilityTypeRepresentationInit
      :   INITIALIZATION
          (affectsClause)*
          (facilityDecl)*
          (variableDecl)*
          (auxVariableDecl)*
          (stmt)*
          END SEMICOLON
      ;
  
  facilityTypeRepresentationFinal
      :   FINALIZATION
          (affectsClause)*
          (requiresClause)?
          (ensuresClause)?
          (facilityDecl)*
  
negative.code: conceptPerformanceItem
      :   confirmMathTypeDecl
      |   constraintClause
      |   performanceOperationDecl
      |   performanceTypeModelDecl
      |   mathDefinitionDecl
  