anchor.diff:       {call, ?MODULE, end_receive_omission, [node_name(), node_name()]},
   
        %% End all resolvable faults.
  -     {call, ?MODULE, end_resolvable_faults, [FaultModelState]}
  +     {call, ?MODULE, end_faults_with_resolve, [FaultModelState]}
       ].
   
   %% Names of the node functions so we kow when we can dispatch to the node
  
positive.code:     false.
  
  %% Receive omission.
  fault_next_state(FaultModelState, _Res, {call, _Mod, end_resolvable_faults, [FaultModelState]}) ->
      ReceiveOmissions = dict:new(),
      SendOmissions = dict:new(),
      FaultModelState#fault_model_state{send_omissions=SendOmissions, receive_omissions=ReceiveOmissions};
  
negative.code:     FaultModelState.
  
  %% Resolve faults.
  fault_postcondition(_FaultModelState, {call, _Mod, end_faults_with_resolve, [_FaultModelState]}, ok) ->
      true;
  
  %% Receive omission.
  