anchor.diff:    Wire#(Bool) waitWire <- mkDWire(False);
     Wire#(Bool) didntFire <- mkDWire(False);
     Reg#(Bool) testDone <- mkReg(False);
  +  Reg#(Bool) doneUI <- mkReg(False);
     List#(Bool) inState = stateConds(state, 1, freqs);
     Reg#(Bool) shrinkingMode <- mkReg(False);
  +  Reg#(Bool) verbose <- mkReg(params.verbose);
   
     // When all random generators have initialised
     Reg#(Bool) randGensInitialised <- mkReg(False);
  
positive.code:             omitMask[omitNum] <= False;
            omitNum <= omitNum+1;
        endseq
      endseq;
  
    // Iterative deepening ======================================================
  
negative.code:   // Track failures
    Reg#(Bool) failureReg    <- mkConfigReg(False);
    Wire#(Bool) resetFailure <- mkDWire(False);
    Bool ensureFailure    = List::any( \== (False), ensureBools);
    Bool invariantFailure = (waitWire || !checkingEnabled) ? False
                          : List::any( \== (False), map (tpl_2, invariantBools));
    Bool failureFound     = ensureFailure || invariantFailure || failureReg;
  