anchor.diff:   FreeAndNil(StateCache);
    SetLength(StackInstructions,0);
    SetLength(InstructionGenerations,0);
  + WorkQueues[0].Free;
  + WorkQueues[1].Free;
    inherited Destroy;
   end;
   
  
positive.code: 
   end;
  
  end;
  
  destructor TFLREDFA.Destroy;
  
negative.code:        StatePoolFree:PFLREDFAStatePool;
         StatePoolSize:TFLREPtrUInt;
         StatePoolSizePowerOfTwo:TFLREPtrUInt;
         WorkQueues:TFLREDFAWorkQueues;
         constructor Create(const AThreadLocalStorageInstance:TFLREThreadLocalStorageInstance);
         destructor Destroy; override;
         function CacheState(const State:PFLREDFAState):PFLREDFAState; {$ifdef caninline}inline;{$endif}
  