anchor.diff:              end;
   
           {'prop:forall', Dom2, Syntax2, Fun2, Body2} ->
  -            check_forall(0, QCT#triq.size, Dom2, Fun2, Syntax2,
  +            check_forall(0, QCT#triq.run_iter, Dom2, Fun2, Syntax2,
                            QCT#triq{body=Body2});
   
           Any ->
  
positive.code: 
          {'prop:numtests', Iters, Property} ->
              check_input(fun(none)->Property end,none,none,
                          QCT#triq{size=Iters});
  
          {'prop:whenfail', Action, Fun2, Body2} ->
              case check_input(fun(none)->Fun2()end,none,none,
  
negative.code: 
  -record(triq, {count=0,
                 context=[],
                 size=?TEST_COUNT,  %% todo: remove this
                 run_iter=?TEST_COUNT,
                 report= fun report_none/2,
                 shrinking= false,
                 result=undefined,
  