anchor.diff:  %%
   -define(TEST_COUNT, 100).
   
  --export([check/1, fails/1, module/1,  
  +-export([check/1, check/2, fails/1, module/1,  
   	 counterexample/0, counterexample/1]).
   
   -import(triq_dom, [pick/2, shrink/2]).
  
positive.code: 	    end;
  	
  	{'prop:forall', Dom2, Syntax2, Fun2, Body2} ->
  	    check_forall(0, ?TEST_COUNT, Dom2, Fun2, Syntax2, QCT#triq{body=Body2});
  
  	Any ->
  	    DoReport(fail,Any),
  
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,
  