anchor.diff:              node_debug("=> majority NOT present!", []),
               false
       end;
  -node_postcondition(_NodeState, {call, ?MODULE, set_fault, [_Node, _Value]}, ok) ->
  -    true;
   node_postcondition(_NodeState, {call, ?MODULE, wait, [_Node]}, _Result) ->
       true;
   node_postcondition(_NodeState, {call, ?MODULE, sleep, []}, _Result) ->
       true;
   node_postcondition(_NodeState, {call, ?MODULE, next_id, [_Node]}, {badrpc,timeout}) ->
  -    true;
  +    false;
   node_postcondition(_NodeState, {call, ?MODULE, next_id, [_Node]}, {badrpc, _}) ->
       %% badrpc is fine, timeout is acceptable if no write occurred.
       true;
  
positive.code:     true;
  node_precondition(_NodeState, {call, ?MODULE, wait, [_Node]}) ->
      true;
  node_precondition(_NodeState, {call, ?MODULE, set_fault, [_Node, _Value]}) ->
      true;
  node_precondition(_NodeState, {call, ?MODULE, next_id, [_Node]}) ->
      true;
  node_precondition(_NodeState, _Command) ->
  
negative.code: %%% Node Functions
  %%%===================================================================
  
  -record(node_state, {counter, node_writes}).
  
  %% What node-specific operations should be called.
  node_commands() ->
      [
       {call, ?MODULE, next_id, [node_name()]},
      %  {call, ?MODULE, wait, [node_name()]},
       {call, ?MODULE, sleep, []}
      ].
  
  