anchor.diff:  -record(fault_model_state, {tolerance,
                               crashed_nodes,
                               send_omissions,
  -                            receive_omissions}).
  +                            receive_omissions,
  +                            general_omissions}).
   
   %%%===================================================================
   %%% Generators
  
positive.code: fault_next_state(_State, FaultModelState, _Res, _Call) ->
      FaultModelState.
  
  %% Receive omission.
  fault_postcondition(_FaultModelState, {call, _Mod, begin_receive_omission, [_SourceNode, _DestinationNode]}, ok) ->
      true;
  
negative.code:     length(active_faults(FaultModelState)).
  
  %% Resolvable faults.
  fault_num_resolvable_faults(#fault_model_state{general_omissions=GeneralOmissions, send_omissions=SendOmissions0, receive_omissions=ReceiveOmissions0}) ->
      SendOmissions = lists:map(fun({{SourceNode, _DestinationNode}, true}) -> SourceNode end, 
                          dict:to_list(SendOmissions0)),
      ReceiveOmissions = lists:map(fun({{_SourceNode, DestinationNode}, true}) -> DestinationNode end, 
                          dict:to_list(ReceiveOmissions0)),
      ResolvableFaults = lists:usort(SendOmissions ++ ReceiveOmissions ++ GeneralOmissions),
      length(ResolvableFaults).
  
  %% The nodes that are faulted.
  active_faults(#fault_model_state{crashed_nodes=CrashedNodes, general_omissions=GeneralOmissions, send_omissions=SendOmissions0, receive_omissions=ReceiveOmissions0}) ->
      SendOmissions = lists:map(fun({{SourceNode, _DestinationNode}, true}) -> SourceNode end, 
                          dict:to_list(SendOmissions0)),
      % fault_debug("=> => send_omissions: ~p", [SendOmissions]),
  