anchor.diff:    Reg#(Bool) failureReg    <- mkConfigReg(False);
     Wire#(Bool) resetFailure <- mkDWire(False);
     PulseWire wedgeFailure   <- mkPulseWireOR;
  +  Reg#(Bool) wedgeDetected <- mkConfigReg(False);
     Bool ensureFailure       =  List::any( \== (False), ensureBools);
     Bool invariantFailure    = (waitWire || !checkingEnabled) ? False
                              : List::any( \== (False),
  
positive.code:     else begin
        if (consecutiveNonFires == 10000)
          begin
            if (verbose) $display("\nWedge detected\n");
            consecutiveNonFires <= 0;
            wedgeFailure.send;
          end
  
negative.code:                           || failureReg;
    
    rule trackFailure;
      if (resetFailure) begin
        failureReg <= False;
        wedgeDetected <= False;
      end
      else if (ensureFailure || invariantFailure || wedgeFailure) begin
        if (wedgeFailure) wedgeDetected <= True;
        failureReg <= True;
      end
    endrule
  
    // Timer
  