anchor.diff:  
       case RequirementsMet of 
           true ->
  -            io:format("Causality verified.~n", []);
  +            % io:format("Causality verified.~n", []),
  +            ok;
           false ->
  -            io:format("Schedule does not represent a valid schedule!~n", [])
  +            % io:format("Schedule does not represent a valid schedule!~n", []),
  +            ok
       end,
   
       RequirementsMet.
  
positive.code:     DerivedSchedule = PrefixSchedule ++ ConditionalSchedule,
  
      RequirementsMet = lists:foldl(fun(Type, Acc) ->
          io:format("=> Type: ~p~n", [Type]),
  
          All = lists:foldl(fun({K, V}, Acc1) ->
              case lists:member(Type, V) of 
                  true ->
                      io:format("=> Requires delivery of ~p~n", [K]),
  
                      case lists:member(K, DerivedSchedule) of 
                          true ->
                              io:format("=> Present!~n", []),
                              true andalso Acc1;
                          false ->
                              io:format("=> NOT Present!~n", []),
                              false andalso Acc1
                      end;
                  false ->
  
negative.code:                                 %% This passed.
                                  io:format("Test passed.~n", []),
  
                                  %% Insert result into the ETS table.
                                  true = ets:insert(?RESULTS, {Iteration, {Iteration, FinalTraceLines, Omissions, true}}),
  
                                  {NumPassed + 1, NumFailed, NumPruned, ClassificationsExplored0 ++ [Classification], NewTraces};
                              _ ->
                                  %% This failed.
                                  io:format("Test FAILED!~n", []),
  