anchor.diff:    Stmt singleWalk =
       seq
         randomState.cntrl.init;
  +      await(randGensInitialised);
         testDone <= False;
         params.preStmt;
         $display("=== Depth %0d, Test %0d ===", currentDepth, testNum);
  
positive.code:         gen;
        endrule
      end
  
    // Generate rules to check invariant booleans.
    for (Integer i = 0; i < length(invariantBools); i=i+1)
  
negative.code:   // Generate a checker based on an iterative deepening strategy
    // (If 'Invalid', a single random state walk is performed)
    Bool useIterativeDeepening;
    // This must contain valid data if 'useIterativeDeepening' is 'True'
    ID_Params id; 
  
    // Number of testing iterations to perform. For iterative deepening,
    // this is the number of times to increase the depth before stopping
  