anchor.diff:          WITH_PROFILE conceptProfile=IDENTIFIER SEMICOLON
           (usesList)?
           (requiresClause)?
  +        (enhancementPerformanceItems)?
           END closename=IDENTIFIER SEMICOLON EOF
       ;
   
  
positive.code: facilityItem
      :   stateVariableDecl
      |   facilityDecl
      |   operationProcedureDecl
      |   mathDefinitionDecl
      |   moduleFacilityInit
      |   moduleFacilityFinal
  
negative.code: // functions
  
  procedureDecl
      :   PROCEDURE name=IDENTIFIER
          operationParameterList (COLON type)? SEMICOLON
          (affectsClause)*
          (facilityDecl)*
          (variableDecl)*
          (auxVariableDecl)*
          (stmt)*
          END closename=IDENTIFIER SEMICOLON
      ;
  
  recursiveProcedureDecl
      :   RECURSIVE PROCEDURE name=IDENTIFIER
          operationParameterList (COLON type)? SEMICOLON
          (affectsClause)*
          decreasingClause
          (facilityDecl)*
          (variableDecl)*
          (auxVariableDecl)*
  