anchor.diff:                      end
                   endaction
                 postStmt; // Execute user-defined post-statement
  -              // If a failure has still not been observed then reset
  -              // circuit in preparation for a new test sequence.
  -              action
  -                if (!failureFound)
  -                  begin
  -                    testNum <= testNum+1;
  -                    params.id.rst.assertReset();
  -                  end
  -              endaction
  +              testNum <= testNum+1;
               endseq
   
             currentDepth <= params.id.incDepth(currentDepth);
  
positive.code:               endaction
  
                // Test sequence starts here
                delay(1);  // To support replay/shrinking
                preStmt;   // Execute user-defined pre-statement
                while (!testDone)
                  action
  
negative.code:           omitMask[omitNum] <= True;
            // Reset circuit under test
            params.id.rst.assertReset();
            action
              // Initialise replay
              resetFailure <= True;
              resetTimer <= True;
            endaction
  
            // Test sequence starts here
            delay(1);
            preStmt;
            while (count < counterExampleLength)
              action
  