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