anchor.diff:        await(randGensInitialised);
         testDone <= False;
         resetTimer <= True;
  -      params.preStmt;
  +      preStmt;
         while (!testDone)
           action
             await(!waitWire);
  
positive.code: // ==========
  //
  // 5  Nov 2012: Version 0.1
  // 20 Nov 2014: Support for Action and ActionValue props
  // 21 Nov 2014: Support for iterative deepening
  // 28 Nov 2014: Version 0.2, with support for shrinking
  
  
negative.code:     rule enqLogs (logEnqWire);
        stateLog.enq(state);
        timeLog.enq(timer);
      endrule
  
      rule rotLogs (logRotWire);
  