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: %% @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),
  