anchor.diff:        currentDepth <= params.id.initialDepth;
         while (!failureFound && iterCount < params.numIterations)
           seq
  +          // Check that the depth is OK
  +          if (params.useShrinking && currentDepth >= fromInteger(logSize))
  +            seq
  +              $display("Maximum depth of %0d", logSize-1, " exceeded.");
  +              $display("Increase the 'logSize' parameter in BlueCheck.bsv.");
  +              $finish(0);
  +            endseq
  +
             // Produce a test sequence of size 'currentDepth'
             testNum <= 0;
             while (!failureFound && testNum < params.id.testsPerDepth)
               seq
  +              // Reset the circuit under test
  +              params.id.rst.assertReset();
  +
                 // Initialise test
                 action
                   $display("=== Depth %0d, Test %0d ===", currentDepth, testNum);
  
positive.code: // actual equivalence checker.
  module [Module] blueCheckCore#( BlueCheck#(Empty) bc
                                , BlueCheck_Params params ) (Stmt);
  
    // Extract items.
    let concat = List::concat;
    let map    = List::map;
  
negative.code:           omitMask[omitNum] <= True;
            // Reset circuit under test
            params.id.rst.assertReset();
            action
              // Initialise replay
              resetFailure <= True;
              resetTimer <= True;
            endaction
  
            // Test sequence starts here
            delay(1);
            preStmt;
            while (count < counterExampleLength)
              action
  