anchor.diff:      dict:store(
         Actor, FinalActorClock,
         dict:store(state, FinalStateClock, NewClockMap)),
  -  NewTraceState =
  -    TraceState#trace_state{
  -      clock_map = FinalClockMap,
  -      done = [Event|RestEvents]},
  +  NewTraceState = TraceState#trace_state{clock_map = FinalClockMap},
     assign_happens_before(Later, [NewTraceState|RevLate], RevEarly, State).
   
   get_base_clock(RevLate, RevEarly) ->
  
positive.code:   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,
    #event{actor = Actor, special = Special} = Event,
    ClockMap = get_base_clock(RevLate, RevEarly),
    OldClock = lookup_clock(Actor, ClockMap),
  
negative.code:     " You may then use -i to tell Concuerror to continue or use other options"
      " to filter out the reported errors, if you consider them acceptable"
      " behaviours.";
  msg(reached_scheduling_bound) ->
    "Some interleavings were not considered due to schedule bounding.~n";
  msg(signal) ->
    "An abnormal exit signal was sent to a process. This is probably the worst"
      " thing that can happen race-wise, as any other side-effecting"
  