anchor.diff:  -record(backtrack_entry, {
             conservative = false :: boolean(),
             event                :: event(),
  -          origin = 1           :: integer(),
  +          origin = 1           :: interleaving_id(),
             wakeup_tree = []     :: event_tree()
            }).
   
  
positive.code:             true ->
                case UseReceivePatterns of
                  false ->
                    {insert_wakeup_optimal(Sleeping, Wakeup, NotDep, Bound, Exploring), false};
                  true ->
                    V =
                      case ObserverInfo =:= no_observer of
  
negative.code:   abort;
  add_conservative([TraceState|Rest], Actor, Clock, Candidates, State, Acc) ->
    #scheduler_state{
       interleaving_id = Origin,
       logger = _Logger
      } = State,
    #trace_state{
  