anchor.diff:  -define(TEST_COUNT, 100).
   
   -export([check/1, check/2, check/3, fails/1, module/1,  
  -	 counterexample/0, counterexample/1]).
  +	 counterexample/0, counterexample/1, numtests/2]).
   
   -import(triq_dom, [pick/2, shrink/2]).
   
  
positive.code: 	
  	{'prop:implies', true, _Syntax, Fun2, Body2} ->
  	    check_input(fun(none)->Fun2()end,none,none,QCT#triq{body=Body2});
  	
  	{'prop:whenfail', Action, Fun2, Body2} ->
  	    case check_input(fun(none)->Fun2()end,none,none,QCT#triq{body=Body2}) of
  		{success, _}=Success ->
  
negative.code: fails(Prop) ->
      {'prop:fails', Prop}.
  
  
  numtests(Num,Prop) ->
      {'prop:numtests', Num, Prop}.
  
  