anchor.diff:                            || failureReg;
     
     rule trackFailure;
  -    if (resetFailure)
  +    if (resetFailure) begin
         failureReg <= False;
  -    else if (ensureFailure || invariantFailure || wedgeFailure)
  +      wedgeDetected <= False;
  +    end
  +    else if (ensureFailure || invariantFailure || wedgeFailure) begin
  +      if (wedgeFailure) wedgeDetected <= True;
         failureReg <= True;
  +    end
     endrule
   
     // Timer
  
positive.code:         actions[i];
          didFire.send;
        endrule
        rule runActionNotPossible (actionsEnabled && inState[i] && !waitWire
                                     && params.showNonFire);
          if (verbose)
            $display(timeInfo, "[did not fire] ", actionMsgs[i]);
        endrule
      end
  
negative.code:     else begin
        if (consecutiveNonFires == 10000)
          begin
            if (verbose) $display("\nPossible wedge detected\n");
            consecutiveNonFires <= 0;
            wedgeFailure.send;
          end
  