anchor.diff:  %% Commands to resolve failures.
   fault_end_functions() ->
       [end_send_omission, end_receive_omission].
  +
  +%% Commands to resolve global failures.
  +fault_global_functions() ->
  +    [resolve_all_faults_with_heal].
   
   %% Initialize failure state.
   fault_initial_state() ->
  
positive.code: 
      Result.
  
  %%%===================================================================
  %%% Fault Model
  %%%===================================================================
  
negative.code: fault_next_state(#fault_model_state{crashed_nodes=CrashedNodes} = FaultModelState, _Res, {call, _Mod, stop, [Node, _JoinedNodes]}) ->
      FaultModelState#fault_model_state{crashed_nodes=CrashedNodes ++ [Node]};
  
  %% Remove faults.
  fault_next_state(FaultModelState, _Res, {call, _Mod, resolve_all_faults_with_heal, []}) ->
      SendOmissions = dict:new(),
      ReceiveOmissions = dict:new(),
      FaultModelState#fault_model_state{send_omissions=SendOmissions, receive_omissions=ReceiveOmissions};
  
  fault_next_state(FaultModelState, _Res, _Call) ->
      FaultModelState.
  
  