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: fault_next_state(#fault_model_state{crashed_nodes=CrashedNodes} = FaultModelState, _Res, {call, _Mod, stop, [Node, _JoinedNodes]}) ->
      FaultModelState#fault_model_state{crashed_nodes=CrashedNodes ++ [Node]};
  
  fault_next_state(FaultModelState, _Res, _Call) ->
      FaultModelState.
  
  
negative.code: 
      Result.
  
  %% Resolve all faults with heal.
  resolve_all_faults_with_heal() ->
      %% Remove all interposition funs.
      lists:foreach(fun(Node) ->
          fault_debug("getting interposition funs at node ~p", [Node]),
          {ok, InterpositionFuns0} = rpc:call(?NAME(Node), ?MANAGER, get_interposition_funs, []),
          InterpositionFuns = dict:to_list(InterpositionFuns0),
          fault_debug("=> ~p", [InterpositionFuns]),
  
          lists:foreach(fun({InterpositionName, _Function}) ->
              fault_debug("=> removing interposition: ~p", [InterpositionName]),
              ok = rpc:call(?NAME(Node), ?MANAGER, remove_interposition_fun, [InterpositionName])
          end, InterpositionFuns)
      end, names()),
  
      ok.
  
  %%%===================================================================
  %%% Fault Model
  %%%===================================================================
  