anchor.diff:      :   SHARED STATE name=IDENTIFIER
           (moduleStateVariableDecl)+
           (constraintClause)?
  -        (typeModelInit)?
  -        (typeModelFinal)?
  +        (specModelInit)?
  +        (specModelFinal)?
  +        END SEMICOLON
  +    ;
  +
  +sharedStateRepresentationDecl
  +    :   SHARED STATE name=IDENTIFIER IS REALIZED BY
  +        (stateVariableDecl)+
  +        (conventionClause)?
  +        (correspondenceClause)?
  +        (representationInit)?
  +        (representationFinal)?
  +        END SEMICOLON
  +    ;
  +
  +facilitySharedStateRepresentationDecl
  +    :   SHARED STATE name=IDENTIFIER IS REALIZED BY
  +        (stateVariableDecl)+
  +        (conventionClause)?
  +        (facilityRepresentationInit)?
  +        (facilityRepresentationFinal)?
           END SEMICOLON
       ;
   
   // initialization, finalization rules
   
  -typeModelInit
  +specModelInit
       :   INITIALIZATION
  +        (affectsClause)?
           (requiresClause)?
           (ensuresClause)?
       ;
   
  -typeModelFinal
  +specModelFinal
       :   FINALIZATION
  +        (affectsClause)?
           (requiresClause)?
           (ensuresClause)?
       ;
   
  -typeRepresentationInit
  +representationInit
       :   INITIALIZATION
  -        (affectsClause)*
  +        (affectsClause)?
           (facilityDecl)*
           (variableDecl)*
           (auxVariableDecl)*
  
positive.code: conceptPerformanceItem
      :   confirmMathTypeDecl
      |   constraintClause
      |   performanceModuleSpecInit
      |   performanceModuleSpecFinal
      |   performanceOperationDecl
      |   performanceTypeModelDecl
      |   mathDefinitionDecl
  
negative.code:         END SEMICOLON
      ;
  
  facilityRepresentationFinal
      :   FINALIZATION
          (affectsClause)?
          (requiresClause)?
          (ensuresClause)?
          (facilityDecl)*
          (variableDecl)*
          (auxVariableDecl)*
          (stmt)*
          END SEMICOLON
      ;
  
  performanceSpecModelInit
      :   INITIALIZATION
          (durationClause)?
          (manipulationDispClause)?
      ;
  
  performanceSpecModelFinal
      :   FINALIZATION
          (durationClause)?
          (manipulationDispClause)?
      ;
  