anchor.diff:      BlueCheck_Params {
         showNonFire           : False
       , showNoOp              : False
  -    , preStmt               : seq delay(1); endseq
  -    , postStmt              : seq delay(1); endseq
       , useIterativeDeepening : True
       , useShrinking          : True
       , id                    : idParams
  
positive.code:     end
  endfunction
  
  function Integer sum(List#(Integer) xs);
    if (xs matches tagged Nil) return 0;
    else return (List::head(xs) + sum(List::tail(xs)));
  endfunction
  
  // Turn the list of items gathered in a BlueCheck module into an
  
negative.code:   FIFOF#(Bit#(64)) timeLog <- mkSizedFIFOF(logSize);
    Wire#(Bool) replayWire <- mkDWire(False);
    Wire#(Bool) logEnqWire <- mkDWire(False);
    Wire#(Bool) logRotWire <- mkDWire(False);
    Wire#(Bool) logClearWire <- mkDWire(False);
    Reg#(Bit#(32)) counterExampleLength <- mkReg(0);
  