anchor.diff:    Randomize#(State) randomState <-
       mkConstrainedRandomizer(0, fromInteger(numStates-1));
     Reg#(State) state <- mkReg(0);
  -  Reg#(UInt#(16)) count <- mkReg(0);
  +  Reg#(UInt#(20)) count <- mkReg(0);
     Wire#(Bool) waitWire <- mkDWire(False);
     List#(Bool) inState = stateConds(state, 1, freqs);
   
  
positive.code:     end
  
    // No-op.
    rule noOp (state == 0);
      $display("No-op");
    endrule
  
    rule initialise (count == 0);
      randomState.cntrl.init;
      count <= 1;
    endrule
  
negative.code: // BlueCheck 0.11, M Naylor.
  
  // Change log
  // ==========
  //
  // 5  Nov 2012: Version 0.1
  // 20 Nov 2014: Added support for Action and ActionValue props
  
  package BlueCheck;
  
  