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:   Reg#(Bool) testDone <- mkReg(False);
    List#(Bool) inState = stateConds(state, 1, freqs);
  
    // When all random generators have initialised
    Reg#(Bool) randGensInitialised <- mkReg(False);
  
    // When count is 0 the checker is disabled
    Reg#(Bit#(32)) count <- mkReg(0);
    Bool enabled = count != 0;
  