anchor.diff:          end
       end.
   
  -select_from_backtrack(#dpor_state{trace = Trace} = MightNeedReplayState) ->
  +select_from_backtrack(#dpor_state{must_replay = MustReplay,
  +				  trace = Trace} = MightNeedReplayState) ->
       %% FIXME: Pick first and don't really subtract.
       %% FIXME: This is actually the trace bottom...
       [TraceTop|RestTrace] = Trace,
  
positive.code:     end.
  
  add_all_backtracks(#dpor_state{preemption_bound = PreBound,
                                 trace = Trace} = State) ->
      case State#dpor_state.dpor_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 ->
  
negative.code:             none;
          {ok, SelectedLid, NewBacktrack} ->
              State =
                  case MustReplay of
                      true -> replay_trace(MightNeedReplayState);
                      false -> MightNeedReplayState
                  end,
  