anchor.diff:    lists:reverse(RevLate);
   assign_happens_before([TraceState|Later], RevLate, RevEarly, State) ->
     #scheduler_state{logger = _Logger, message_info = MessageInfo} = State,
  -  #trace_state{done = [Event|RestEvents], index = Index} = TraceState,
  +  #trace_state{done = [Event|_], index = Index} = TraceState,
     #event{actor = Actor, special = Special} = Event,
     ClockMap = get_base_clock(RevLate, RevEarly),
     OldClock = lookup_clock(Actor, ClockMap),
  
positive.code:       end
    end.
  
  check_initial(Event, NotDep) ->
    check_initial(Event, NotDep, []).
  
  
negative.code:   #scheduler_state{
       exploring = Exploring,
       logger = Logger,
       optimal = Optimal
      } = State,
    #trace_state{
       done = [#event{actor = EarlyActor}|Done],
       scheduling_bound = SchedulingBound,
  