anchor.diff:            $display("%0t: ", timer, stmtMsgs[i]);
           fsm.start;
           fsmRunning <= True;
  -        waitWire <= True;
  -        if (!shrinkingMode)
  -          logEnqWire <= True;
  +        waitWire.send;
  +        if (!shrinkingMode) logEnqWire.send;
         endrule
   
         rule assertWait (actionsEnabled && inState[s] && fsmRunning && !fsm.done);
  -        waitWire <= True;
  +        waitWire.send;
         endrule
   
         rule finishStmt (actionsEnabled && inState[s] && fsmRunning && fsm.done);
           fsmRunning <= False;
  +        didFire.send;
         endrule
       end
   
  
positive.code:   FIFOF#(State) stateLog  <- mkSizedFIFOF(logSize);
    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);
  
negative.code:         if (verbose)
            $display("%0t: ", timer, actionMsgs[i]);
          actions[i];
          if (!shrinkingMode) logEnqWire.send;
          didFire.send;
        endrule
        rule runActionNotPossible (actionsEnabled && inState[i] && !waitWire);
          if (params.showNonFire && verbose)
            $display("%0t: [did not fire] ", timer, actionMsgs[i]);
        endrule
  