anchor.diff:    abort;
   add_conservative([TraceState|Rest], Actor, Clock, Candidates, State, Acc) ->
     #scheduler_state{
  -     exploring = Exploring,
  +     interleaving_id = Origin,
        logger = _Logger
       } = State,
     #trace_state{
  
positive.code:       case Deeper =:= [] of
          true  -> skip;
          false ->
            case insert_wakeup(Deeper, NewNotDep, Bound, Exploring) of
              Special
                when
                  Special =:= skip;
  
negative.code:           true -> Bound - 1;
            false -> Bound
          end,
        case insert_wakeup(Rest, NotDep, NewBound, Origin) of
          Special
            when
              Special =:= skip;
  