anchor.diff:  report(fail,Value) ->
       io:format("Failed with: ~p~n", [Value]).
   
  -
   check(Fun,Input,IDom,#triq{count=Count,report=DoReport}=QCT) ->
   
       try Fun(Input) of	
  
positive.code: 
  		%% it failed, report it!
  		{failure, _, _, _, Ctx} ->
  		    {failure, Fun, Input, Dom, Ctx}
  
  	    end
      end.
  
negative.code: 	{failure, _, _, _, _}=Fail -> 
  	    Fail;
  
  	{'prop:timeout', Limit, Fun2, Body2} ->
  	    Yield = check_timeout(Fun,Input,IDom,Limit,Fun2,QCT#triq{body=Body2}),
  	    Yield;
  	
  	{'prop:fails', Property} ->
  	    case check(fun(none)->Property end,none,none,QCT#triq{}) of
  		{success, _} ->
  