anchor.diff:           NewPrevTraceTop|Rest],
       State#dpor_state{trace = NewTrace}.
   
  -recent_dependency_cv({_Lid, {ets, _Info}} = Transition, ClockVector, LidTrace) ->
  +recent_dependency_cv({_Lid, {ets, _Info}} = Transition,
  +                     ClockVector, LidTrace) ->
       Fun =
           fun({Queue, CVAcc}) ->
               {Ret, NewQueue} = queue:out_r(Queue),
  
positive.code: 
  dependent_ets({insert, [T, _, {K, V1}]}, {insert, [T, _, {K, V2}]}, false) ->
      V1 =/= V2;
  dependent_ets({insert_new, [T, _, {K, _}]}, {insert_new, [T, _, {K, _}]}, false) ->
      true;
  dependent_ets({insert_new, [T, _, {K, _}]}, {insert, [T, _, {K, _}]}, _Swap) ->
      true;
  
negative.code:             ok
      end.
  
  handle_instruction_al({Lid, {exit, {normal, _Info}}}, TraceTop, {}) ->
      #trace_state{enabled = Enabled, nexts = Nexts} = TraceTop,
      NewEnabled = ordsets:del_element(Lid, Enabled),
      NewNexts = dict:erase(Lid, Nexts),
      TraceTop#trace_state{enabled = NewEnabled, nexts = NewNexts};
  handle_instruction_al({Lid, {Spawn, unknown}}, TraceTop,
                        {ChildLid, ChildNextInstr})
    when Spawn =:= spawn; Spawn =:= spawn_link ->
      #trace_state{enabled = Enabled, blocked = Blocked,
                   nexts = Nexts, pollable = Pollable,
  