anchor.diff:  
       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
   %%%===================================================================
  
positive.code: %% Commands to resolve failures.
  fault_end_functions() ->
      [end_send_omission, end_receive_omission].
  
  %% Initialize failure state.
  fault_initial_state() ->
  
negative.code: 
  %% Crashes are allowed.
  fault_postcondition(_FaultModelState, {call, _Mod, crash, [_Node, _JoinedNodes]}, ok) ->
      true;
  
  fault_postcondition(_FaultModelState, {call, _Mod, resolve_all_faults_with_heal, []}, ok) ->
      true;
  
  fault_postcondition(_FaultModelState, {call, Mod, Fun, [_Node|_]=Args}, Res) ->
  