anchor.diff:      end.
   
   add_all_backtracks(#dpor_state{preemption_bound = PreBound,
  -                               trace = Trace} = State) ->
  -    case State#dpor_state.dpor_flavor of
  +                               trace = Trace,
  +			       dpor_flavor = Flavor} = State) ->
  +    case Flavor of
           none ->
               %% add_some_next will take care of all the backtracks.
               State;
  -        Flavor ->
  +        _ ->
               [#trace_state{last = Transition}|_] = Trace,
               case concuerror_deps:may_have_dependencies(Transition) of
                   true ->
  
positive.code:             none;
          {ok, SelectedLid, NewBacktrack} ->
              State =
                  case MightNeedReplayState#dpor_state.must_replay of
                      true -> replay_trace(MightNeedReplayState);
                      false -> MightNeedReplayState
                  end,
  
negative.code:                          run_count = RunCnt,
                           sleep_blocked_count = SBlocked,
                           group_leader = GroupLeader,
                           target = Target,
  			 trace = Trace,
  			 show_output = ShowOutput} = State) ->
      NewRunCnt = RunCnt + 1,
      ?debug("\nReplay (~p) is required...\n", [NewRunCnt]),
      [TraceTop|TraceRest] = Trace,
      LidTrace = TraceTop#trace_state.lid_trace,
      concuerror_lid:stop(),
      %% Get buffered output from group leader
      %% TODO: For now just ignore it. Maybe we can print it
      %% only when we have an error (after the backtrace?)
      Output = concuerror_io_server:group_leader_sync(GroupLeader),
      case ShowOutput of
          true  -> io:put_chars(Output);
          false -> ok
      end,
  