anchor.diff:    Stmt iterativeDeepening =
       seq
         randomState.cntrl.init;
  +      await(randGensInitialised);
         currentDepth <= params.id.initialDepth;
         while (iterCount < params.numIterations)
           seq
  
positive.code:   // Generate a checker based on an iterative deepening strategy
    // (If 'Invalid', a single random state walk is performed)
    Bool useIterativeDeepening;
    ID_Params id;
  
    // Number of testing iterations to perform. For iterative deepening,
    // this is the number of times to increase the depth before stopping
  
negative.code:   Stmt singleWalk =
      seq
        randomState.cntrl.init;
        await(randGensInitialised);
        testDone <= False;
        params.preStmt;
        $display("=== Depth %0d, Test %0d ===", currentDepth, testNum);
  