anchor.diff:      ?PROPERTY_MODULE:command_conclusion(Name, [crash, JoinedNames]),
   
       ok.
  +
  +%% Create a general omission failure.
  +begin_omission(Node) ->
  +    ?PROPERTY_MODULE:command_preamble(Node, [begin_omission, Node]),
  +
  +    fault_debug("begin_omission: node ~p", [Node]),
  +
  +    Result = rpc:call(?NAME(Node), partisan_config, set, [faulted, true]),
  +
  +    ?PROPERTY_MODULE:command_conclusion(Node, [begin_omission, Node]),
  +
  +    Result.
  +
  +end_omission(Node) ->
  +    ?PROPERTY_MODULE:command_preamble(Node, [end_omission, Node]),
  +
  +    fault_debug("end_omission: node ~p", [Node]),
  +
  +    Result = rpc:call(?NAME(Node), partisan_config, set, [faulted, false]),
  +
  +    ?PROPERTY_MODULE:command_conclusion(Node, [end_omission, Node]),
  +
  +    Result.
   
   %% Create a receive omission failure.
   begin_receive_omission(SourceNode0, DestinationNode) ->
  
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:      %% {call, ?MODULE, stop, [node_name(), JoinedNodes]},
  
       %% Send omission failures.
       %% {call, ?MODULE, begin_send_omission, [node_name(), node_name()]},
       %% {call, ?MODULE, end_send_omission, [node_name(), node_name()]},
  
       %% Receive omission failures.
       %% {call, ?MODULE, begin_receive_omission, [node_name(), node_name()]},
       %% {call, ?MODULE, end_receive_omission, [node_name(), node_name()]},
  
       %% General omission failure.
       {call, ?MODULE, begin_omission, [node_name()]},
       {call, ?MODULE, end_omission, [node_name()]}
      ].
  
  %% Names of the node functions so we kow when we can dispatch to the node
  