anchor.diff:      %% Identify trace.
       TraceRandomNumber = rand:uniform(100000),
       %% lager:info("~p: trace random generated: ~p", [?MODULE, TraceRandomNumber]),
  -    TraceIdentifier = atom_to_list(?SYSTEM_MODEL) ++ "_" ++ integer_to_list(TraceRandomNumber),
  +    TraceIdentifier = atom_to_list(system_model()) ++ "_" ++ integer_to_list(TraceRandomNumber),
       ok = partisan_trace_orchestrator:identify(TraceIdentifier),
   
       %% Add send and receive pre-interposition functions to enforce message ordering.
  
positive.code:                 true ->
                      case rand:uniform(10) rem 2 =:= 0 of 
                          true ->
                              [{set,{var,0},{call,?FAULT_MODEL,resolve_all_faults_with_heal,[]}}];
                          false ->
                              [{set,{var,0},{call,?FAULT_MODEL,resolve_all_faults_with_crash,[]}}]
                      end;
                  false ->
                      [{set,{var,0},{call,?FAULT_MODEL,resolve_all_faults_with_heal,[]}}]
              end,
  
              %% Only global node commands.
              CommandsWithOnlyGlobalNodeCommands = lists:map(fun(Fun) ->
                  {set,{var,0},{call,?SYSTEM_MODEL,Fun,[]}}
              end, node_global_functions()), 
  
              %% Derive final command sequence.
  
negative.code: -include_lib("proper/include/proper.hrl").
  
  -compile([export_all]).
  
  %% General test configuration
  -define(CLUSTER_NODES, true).
  