anchor.diff:  -record(triq, {count=0,
   	      context=[],
   	      size=?TEST_COUNT,  %% todo: remove this
  +	      run_iter=?TEST_COUNT,
   	      report= fun report_none/2,
   	      shrinking= false,
   	      result=undefined,
  
positive.code: %% @spec check( atom() | property() ) -> any()
  %% @end
  %%--------------------------------------------------------------------
  check(Module) when is_atom(Module) ->
      module(Module);
  
  
  check(Property) ->
  
      case check_input(fun(nil)->Property end, 
  	       nil,
  	       nil,
  	       #triq{report=fun report/2}) of
  
  	{failure, Fun, Input, InputDom, #triq{count=Count,context=Ctx,body=_Body,result=Error}} ->
  
  
negative.code: 	    end;
  	
  	{'prop:forall', Dom2, Syntax2, Fun2, Body2} ->
  	    check_forall(0, QCT#triq.run_iter, Dom2, Fun2, Syntax2, QCT#triq{body=Body2});
  
  	Any ->
  	    DoReport(fail,Any),
  