anchor.diff:                endaction
   
                 // Test sequence starts here
  -              delay(1);  // To support replay/shrinking
  +              delay(1);
                 preStmt;   // Execute user-defined pre-statement
                 while (!testDone)
                   action
  
positive.code: // actual equivalence checker.
  module [Module] blueCheckCore#( BlueCheck#(Empty) bc
                                , BlueCheck_Params params ) (Stmt);
  
    // Extract items.
    let concat = List::concat;
    let map    = List::map;
  
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
  