anchor.diff:                  true = ets:insert(?MODULE, {Iteration, {Omissions, false}}),
   
                   %% Increment iteration, update valid omission schedules.
  -                {Iteration + 1, ValidOmissions};
  +                {Iteration + 1, InvalidOmissions, ValidOmissions, PrunedExecutions + 1};
               not_found ->
                   %% Write out a new omission file from the previously used trace.
                   io:format("Writing out new preload omissions file!~n", []),
  
positive.code: 
                  %% Run the trace.
                  Command = "SHRINKING=true REPLAY=true PRELOAD_OMISSIONS_FILE=" ++ PreloadOmissionFile ++ " REPLAY_TRACE_FILE=" ++ ReplayTraceFile ++ " TRACE_FILE=" ++ TraceFile ++ " ./rebar3 proper --retry | tee /tmp/partisan.output",
                  io:format("Executing command for iteration ~p of ~p:", [Iteration, length(TracesToIterate)]),
                  io:format(" ~p~n", [Command]),
                  Output = os:cmd(Command),
  
                  %% Store set of omissions as omissions that didn't invalidate the execution.
                  UpdatedOmissions = case string:find(Output, "{postcondition,false}") of 
                      nomatch ->
                          %% This passed.
                          io:format("Test passed, adding omissions to set of supporting omissions!~n", []),
  
negative.code:     % % %% Print out final schedule.
      % % %% lists:foreach(fun(Command) -> io:format("~p~n", [Command]) end, AlteredCommands),
  
      % ok.
  
  %% @private
  format_message_payload_for_json(MessagePayload) ->
      list_to_binary(lists:flatten(io_lib:format("~w", [MessagePayload]))).