anchor.diff:      case check_input(fun(nil)->Property end,
                        nil,
                        nil,
  -                     #triq{report=fun report/2, size=RunIters,
  +                     #triq{report=fun report/2, run_iter=RunIters,
                              values=Counterexample}) of
   
           {failure, Fun, Input, InputDom, #triq{count=Count,context=Ctx,
  
positive.code:             end;
  
          {'prop:forall', Dom2, Syntax2, Fun2, Body2} ->
              check_forall(0, QCT#triq.size, Dom2, Fun2, Syntax2,
                           QCT#triq{body=Body2});
  
          Any ->
  
negative.code: 
          {'prop:numtests', Iters, Property} ->
              check_input(fun(none)->Property end,none,none,
                          QCT#triq{ run_iter=Iters });
  
          {'prop:whenfail', Action, Fun2, Body2} ->
              case check_input(fun(none)->Fun2()end,none,none,
  