anchor.diff:      test(100).
   
   test(Iterations) ->
  -    eqc:quickcheck(eqc:numtests(Iterations, resolution_commutative())).
  +    eqc:quickcheck(eqc:numtests(Iterations, prop_resolution_commutative())).
   
   only_one_active(Manifests) ->
       {_, FilteredManifests} = lists:foldl(fun only_one_active_helper/2, {not_found, []}, Manifests),
  
positive.code: -compile(export_all).
  
  %% eqc property
  -export([resolution_commutative/0]).
  
  %% helpers
  -export([test/0, test/1]).
  
negative.code:     eqc:on_output(fun(Str, Args) ->
                  io:format(user, Str, Args) end, P)).
  
  %%====================================================================
  %% Eunit tests
  %%====================================================================
  
  eqc_test_() ->
      {spawn,
       [{setup,
         fun setup/0,
         fun cleanup/1,
         [%% Run the quickcheck tests
          {timeout, 300,
              ?_assertEqual(true, quickcheck(numtests(?TEST_ITERATIONS, ?QC_OUT((prop_resolution_commutative())))))}
         ]
        }
       ]
      }.
  
  setup() ->
      ok.
  
  cleanup(_) ->
      ok.
  
  
  %% ====================================================================
  %% eqc property
  %% ====================================================================
  
  prop_resolution_commutative() ->
      ?FORALL(Manifests, eqc_gen:resize(50, manifests()),
          begin
              MapFun = fun(Mani) ->
  