anchor.diff:  -export([check/1,
            check/2,
            check/3,
  +         equals/2,
            fails/1,
            module/1,
            module/2,
  
positive.code: %%--------------------------------------------------------------------
  module(Module) when is_atom(Module) ->
      module(Module, 100).
      
  module(Module, RunIters) when is_integer(RunIters), RunIters>0 ->
      Info = Module:module_info(exports),
      all(fun({Fun,0}) ->
  
negative.code:             end
      end.
  
  %%-------------------------------------------------------------------
  %% @doc
  %% Returns true when the arguments are equal.
  %%
  %% @spec equals( term(), term() ) -> boolean()
  %% @end
  %%-------------------------------------------------------------------
  equals(_X, _X) ->
      true;
  equals(_X, _Y) ->
      false.
  
  %%--------------------------------------------------------------------
  %% @doc
  %% A Property which succeeds when its argument fails, and fails
  