anchor.diff:          (constraintClause)?
           (performanceTypeModelInit)?
           (performanceTypeModelFinal)?
  -        END
  +        END SEMICOLON
       ;
   
   // initialization, finalization rules
  
positive.code:         (conventionClause)?
          (facilityTypeRepresentationInit)?
          (facilityTypeRepresentationFinal)?
          END
      ;
  
  performanceTypeModelDecl
  
negative.code:         (correspondenceClause)?
          (typeRepresentationInit)?
          (typeRepresentationFinal)?
          END SEMICOLON
      ;
  
  facilityTypeRepresentationDecl
  