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