anchor.diff:  
   max_dependent(_Cmd, [], _ClockMap, Acc) -> Acc;
   max_dependent(Cmd1, [#state{i = N, last = Cmd2}|Trace], ClockMap, Acc) ->
  -  case dependent(Cmd1, Cmd2) of
  +  case dependent2(Cmd1, Cmd2) of
       true ->
         CI = lookup_clock(N, ClockMap),
         Merger = fun(_Key, V1, V2) -> max(V1, V2) end,
  
positive.code:     case pick_random_enabled(Trace) of
        none ->
          %% TODO: Report Check for deadlocks
          ?stats_inc,
          UpdatedTrace;
        {ok, P} ->
  
negative.code: -define(stats_inc, ok).
  -endif.
  
  -ifdef(STACK).
  
  -define(show_stack(Trace), io:format("~p\n",[get_stack(Trace)])).
             
  get_stack(Trace) ->
    get_stack(Trace, []).
  
  get_stack([], Acc) -> Acc;
  get_stack([#state{last = P}|Rest], Acc) -> get_stack(Rest, [P|Acc]).
  
  -else.
  
  -define(show_stack(_Trace), ok).
  
  -endif.
  
  test(M) ->
    InitPStates = dict:store(M, new_pstate(M), dict:new()),
    ?stats_start,
  