anchor.diff:  
   implItem
       :   stateVariableDecl
  +    |   facilityDecl
  +    |   recursiveOperationProcedureDecl
       |   operationProcedureDecl
  -    |   facilityDecl
       |   procedureDecl
  +    |   recursiveProcedureDecl
       |   mathDefinitionDecl
       |   typeRepresentationDecl
       |   conventionClause
  
positive.code:         WITH_PROFILE conceptProfile=IDENTIFIER SEMICOLON
          (usesList)?
          (requiresClause)?
          END closename=IDENTIFIER SEMICOLON EOF
      ;
  
  
negative.code: facilityItem
      :   stateVariableDecl
      |   facilityDecl
      |   facilityTypeRepresentationDecl
      |   recursiveOperationProcedureDecl
      |   operationProcedureDecl
      |   recursiveProcedureDecl
      |   mathDefinitionDecl
      |   moduleFacilityInit
      |   moduleFacilityFinal
  