anchor.diff:                    // user-defined statement to finish.
                     await(!waitWire);
                     let nextState <- randomState.next;
  +                  let actionFired = (state != 0 && !didntFire);
                     if (failureFound)
                       begin
                         // We found a counter example smaller than the depth
  -                      counterExampleLength <= count;
  +                      //counterExampleLength <= count;
  +                      counterExampleLength <= actionFired ? count : count-1;
                         count <= 0;
                         testDone <= True;
                       end
  
positive.code:   Tuple3#(Frequency, Fmt, Stmt) StmtItem;
    Tuple2#(Bool, function Action gen(Bool replay)) RandomGenItem;
    Tuple2#(Fmt, Bool) InvariantItem;
    Bool EnsureItem;
    Tuple3#(Action, Action, Action) LogItem;
    Stmt PreStmtItem;
    Stmt PostStmtItem;
  
negative.code: 
  // BlueCheck module parameters
  typedef struct {
    // Verbose output
    Bool verbose;
  
    // Display message when a chosen state does not fire
    Bool showNonFire;
  
  