anchor.diff:          (constraintClause)?
           (typeModelInit)?
           (typeModelFinal)?
  -        END
  +        END SEMICOLON
       ;
   
   typeRepresentationDecl
  
positive.code:         (correspondenceClause)?
          (typeRepresentationInit)?
          (typeRepresentationFinal)?
          END
      ;
  
  facilityTypeRepresentationDecl
  
negative.code:         (constraintClause)?
          (performanceTypeModelInit)?
          (performanceTypeModelFinal)?
          END SEMICOLON
      ;
  
  // initialization, finalization rules
  