anchor.diff:    Bool showNoOp;
   
     // Generate a checker based on an iterative deepening strategy
  -  // (If 'Invalid', a single random state walk is performed)
  +  // (If 'False', a single random state walk is performed)
     Bool useIterativeDeepening;
     // This must contain valid data if 'useIterativeDeepening' is 'True'
     ID_Params id; 
  
positive.code: 
            currentDepth <= params.id.incDepth(currentDepth);
            iterCount <= iterCount+1;
          endseq
  
        // We've reached the end of iterative deepening.  Either we
  
negative.code:                   if (failureFound)
                      begin
                        // We found a counter example smaller than the depth
                        counterExampleLength <= actionFired ? count : count-1;
                        count <= 0;
                        testDone <= True;
  