anchor.diff:  |    Version|0.8
   |===============================================================================
   
  +TODO: Needs an explanation and example.
  +
   === PredicateDebugReport
   [cols=">h,<9"]
   |===============================================================================
  
positive.code: |    Version|0.8
  |===============================================================================
  
  === IdentType
  [cols=">h,<9"]
  |===============================================================================
  
negative.code: |     Module|predicate
  |    Version|0.9
  |===============================================================================
  
  TODO: Needs an explanation and example.
  
  === ProtectionEngineOptions
  [cols=">h,<9"]
  