anchor.diff:      MessageTraceLinesPowerset = powerset(MessageTraceLines),
       io:format("Number of message sets in powerset: ~p~n", [length(MessageTraceLinesPowerset)]),
   
  -    %% Traces to iterate.
  -    SortedPowerset = lists:sort(fun(A, B) -> length(A) =< length(B) end, MessageTraceLinesPowerset),
  -
       TracesToIterate = case os:getenv("SUBLIST") of 
           false ->
  -            lists:reverse(SortedPowerset);
  +            lists:reverse(MessageTraceLinesPowerset);
           Other ->
               case Other of 
                   "" ->
                       exit({error, no_sublist_provided});
                   "0" ->
  -                    lists:reverse(SortedPowerset);
  +                    lists:reverse(MessageTraceLinesPowerset);
                   _ ->
  -                    lists:reverse(lists:sublist(SortedPowerset, list_to_integer(Other)))
  +                    lists:reverse(lists:sublist(MessageTraceLinesPowerset, list_to_integer(Other)))
               end
       end,
   
       %% For each trace, write out the preload omission file.
  -    lists:foldl(fun(Omissions, Iteration) ->
  -        io:format("~n", []),
  +    NewIteration = lists:foldl(fun(Omissions, Iteration) ->
  +        % io:format("~n", []),
   
           %% Generate a new trace.
  -        io:format("Generating new trace based on message omissions (~p omissions): ~n", 
  -                [length(Omissions)]),
  +        % io:format("Generating new trace based on message omissions (~p omissions, iteration ~p): ~n", [length(Omissions), Iteration]),
   
           {FinalTraceLines, _, _, PrefixMessageTypes, OmittedMessageTypes, ConditionalMessageTypes} = lists:foldl(fun({Type, Message} = Line, {FinalTrace0, FaultsStarted0, AdditionalOmissions0, PrefixMessageTypes0, OmittedMessageTypes0, ConditionalMessageTypes0}) ->
               case Type =:= pre_interposition_fun of 
  
positive.code:     end, hd(TraceLines)),
  
      %% Perform recursive analysis of the traces.
      analyze(PreloadOmissionFile, ReplayTraceFile, TraceFile, Causality, Annotations, [TraceLinesWithoutFailure]),
  
      %% Should we try to find witnesses?
      case os:getenv("FIND_WITNESSES") of 
  
negative.code: 
      case RequirementsMet of 
          true ->
              % io:format("Causality verified.~n", []),
              ok;
          false ->
              % io:format("Schedule does not represent a valid schedule!~n", []),
              ok
      end,
  
      RequirementsMet.
  