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