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