anchor.diff:    ID_Params idParams =
       ID_Params {
         rst           : rst
  -    , initialDepth  : 10
  -    , testsPerDepth : 3000
  +    , initialDepth  : 20
  +    , testsPerDepth : 10000
       , incDepth      : incDepth
       };
   
     BlueCheck_Params params =
       BlueCheck_Params {
  -      showNonFire           : False
  +      verbose               : False
  +    , showNonFire           : False
       , showNoOp              : False
       , useIterativeDeepening : True
  +    , interactive           : True
       , useShrinking          : True
       , id                    : idParams
  -    , numIterations         : 5
  +    , numIterations         : 1
       };
   
     return params;
  
positive.code:   Tuple3#(Frequency, Fmt, Stmt) StmtItem;
    Tuple2#(Bool, function Action gen(Bool replay)) RandomGenItem;
    Tuple2#(Fmt, Bool) InvariantItem;
    Bool EnsureItem;
    Tuple3#(Action, Action, Action) LogItem;
    Stmt PreStmtItem;
    Stmt PostStmtItem;
  
negative.code:       let msg = tpl_1(invariantBools[i]);
        let b   = tpl_2(invariantBools[i]);
        rule checkInvariantBool (checkingEnabled && !failureReg && !waitWire);
          if (!b && verbose) $display("%0t: ", timer, msg);
        endrule
      end
  
  