anchor.diff:  // When shrinking is enabled, the length of the sequences generated
   // must be bounded.
   
  -Integer maxSeqLen = 64;
  +Integer maxSeqLen = 256;
   
   // ============================================================================
   // Communication from FPGA to host PC
  
positive.code:                           || failureReg;
    
    rule trackFailure;
      if (resetFailure)
        failureReg <= False;
      else if (ensureFailure || invariantFailure || wedgeFailure)
        failureReg <= True;
    endrule
  
    // Timer
  
negative.code:         actions[i];
          didFire.send;
        endrule
        rule runActionNotPossible (actionsEnabled && inState[i] && !waitWire);
          if (params.showNonFire && verbose)
            $display(timeInfo, "[did not fire] ", actionMsgs[i]);
        endrule
      end
  