anchor.diff:        endrule
   
         Action logEnq   = aLog.enq(aReg);
  -      Action logDeq   = aLog.deq;
         Action logRot   = action aLog.deq; aLog.enq(aLog.first); endaction;
         Action logClear = aLog.clear;
   
         addToCollection(tagged RandomGenItem (tuple2(!init, genRandom)));
  -      addToCollection(tagged LogItem (tuple4
  -        (logEnq, logDeq, logRot, logClear)));
  +      addToCollection(tagged LogItem (tuple3(logEnq, logRot, logClear)));
   
         pr(List::append(app, Cons(fshow(aReg), Nil)), fr, f(aReg));
       endmodule
  
positive.code:       endrule
  
        Action logEnq   = aLog.enq(aReg);
        Action logDeq   = aLog.deq;
        Action logRot   = action aLog.deq; aLog.enq(aLog.first); endaction;
        Action logClear = aLog.clear;
  
        addToCollection(tagged RandomGenItem (tuple2(!init, genRandom)));
        addToCollection(tagged LogItem (tuple4
          (logEnq, logDeq, logRot, logClear)));
  
        eq(List::append(app, Cons(fshow(aReg), Nil)),
             fr, f(aReg), g(aReg));
  
negative.code:     BlueCheck_Params {
        showNonFire           : False
      , showNoOp              : False
      , useIterativeDeepening : True
      , useShrinking          : True
      , id                    : idParams
  