anchor.diff:            else
               begin
                 state <= nextState;
  -              if (state != 0 && !didntFire)
  +              if (state != 0 && didFire)
                   begin
                     if (count < params.numIterations)
                       count <= count+1;
  
positive.code:       testDone <= False;
        resetTimer <= True;
        preStmt;
        while (!testDone)
          action
            await(!waitWire);
  
negative.code:   Randomize#(State) randomState <-
      mkConstrainedRandomizer(0, fromInteger(numStates-1));
    ConfigReg#(State) state <- mkConfigReg(0);
    PulseWire waitWire <- mkPulseWireOR;
    PulseWire didFire <- mkPulseWireOR;
    Reg#(Bool) testDone <- mkReg(False);
    Reg#(Bool) doneUI <- mkReg(False);
    List#(Bool) inState = stateConds(state, 1, freqs);
  