anchor.diff:      #trace_state{enabled = Enabled, sleep_set = SleepSet,
                    error_nxt = ErrorNext, last = {Lid, _, _},
                    preemptions = Preemptions} = TraceTop,
  -    ?debug("Pick next: Enabled: ~w Sleeping: ~w\n", [Enabled, SleepSet]),
  +    ?debug("Pick next: Enabled: ~p Sleeping: ~p\n", [Enabled, SleepSet]),
       Choice =
           case ErrorNext of
               none ->
  
positive.code:             NewBacktrack =
                  case Predecessors =:= [] of
                      false ->
                          ?debug(" Add as 'choose-one': ~w\n", [Predecessors]),
                          concuerror_lid:insert_to_deep_list(Backtrack,
                                                             Predecessors);
                      true ->
                          ?debug(" Add as 'choose every': ~w\n", [Candidates]),
                          Fold =
                              fun(E, AccBacktrack) ->
                                      case concuerror_lid:deep_intersect_with_fix(
  
negative.code:                 end;
              Else -> [Else]
          end,
      ?debug("Picked: ~p\n",[Choice]),
      Backtrack = concuerror_lid:make_backtrack(Choice),
      NewTraceTop = TraceTop#trace_state{backtrack = Backtrack},
      State#dpor_state{trace = [NewTraceTop|Rest]}.
  