anchor.diff:            add_new_and_messages(Special, HappenedBeforeClock, BaseNewClockMap),
           StateClock = lookup_clock(state, ClockMap),
           OldActorClock = lookup_clock_value(Actor, StateClock),
  -        FinalActorClock = orddict:store(Actor, OldActorClock, HappenedBeforeClock),
  -        FinalStateClock = orddict:store(Actor, Index, StateClock),
  +        FinalActorClock = clock_store(Actor, OldActorClock, HappenedBeforeClock),
  +        FinalStateClock = clock_store(Actor, Index, StateClock),
           FinalClockMap =
             dict:store(
               Actor, FinalActorClock,
  
positive.code: max_cv(D1, D2) ->
    Merger = fun(_Key, V1, V2) -> max(V1, V2) end,
    orddict:merge(Merger, D1, D2).
  
  next_bound(SchedulingBoundType, Done, PreviousActor, Bound) ->
    case SchedulingBoundType of
  
negative.code:             #trace_state{clock_map = ClockMap} = TraceState,
              EarlyActorClock = lookup_clock(EarlyActor, ClockMap),
              max_cv(
                Clock, clock_store(EarlyActor, EarlyIndex, EarlyActorClock))
          end
      end,
    update_clock(Rest, Event, NewClock, State).
  