anchor.diff:    S = io_lib:format("New interleaving ~p. Replaying...", [N]),
     ?time(Logger, S),
     NewState = replay_prefix(NewTrace, State#scheduler_state{trace = NewTrace}),
  -  ?debug(Logger, "~s~n",["Replay done."]),
  +  ?debug(Logger, "~s~n", ["Replay done."]),
     NewState#scheduler_state{need_to_replay = false}.
   
   %% =============================================================================
  
positive.code:           #receive_event{receive_info = RI} -> RI;
            _ -> {system, fun(_) -> true end}
          end,
        Fold = fun(ID,Dict) -> map_store(ID, ReceiveInfo, Dict) end,
        lists:foldl(Fold, ReceiveInfoDict, IDs)
    end.
  
  
negative.code:     case EString =/= NEString of
        true -> [EString, NEString];
        false ->
          [io_lib:format("~p", [E]) || E <- [Event, NewEvent]]
      end,
    io_lib:format(
      "On step ~p, replaying a built-in returned a different result than"
  