anchor.diff:          SHORT_FOR fullName=IDENTIFIER FOR concept=IDENTIFIER SEMICOLON
           (usesList)?
           (requiresClause)?
  +        (conceptPerformanceItems)?
           END closename=IDENTIFIER SEMICOLON EOF
       ;
   
  
positive.code:         (affectsClause)*
          (requiresClause)?
          (ensuresClause)?
          (recursive=RECURSIVE)? PROCEDURE
          (decreasingClause)?
          (facilityDecl)*
          (variableDecl)*
          (auxVariableDecl)*
  
negative.code:         WITH_PROFILE conceptProfile=IDENTIFIER SEMICOLON
          (usesList)?
          (requiresClause)?
          (enhancementPerformanceItems)?
          END closename=IDENTIFIER SEMICOLON EOF
      ;
  
  