anchor.diff:  
   -compile(export_all).
   
  --define(NUM_TESTS, 1).
  +-define(TIMEOUT, 1200).
  +
  +-define(TEST_TIME, 90).
  +
  +-define(NUM_TESTS, 2).
  +
  +-define(NODES, [rita, sue, bob]).
   
   -define(QC_OUT(P),
           eqc:on_output(fun(Str, Args) ->
  
positive.code: teardown() ->
      ok.
  
  -endif.
  -endif.
  
negative.code: %% Launch multiple nodes.
  
  provision(Name) ->
      lasp_support:start_and_join_node(Name, [], ?MODULE).
  
  provision_args(_S) ->
      [elements(?NODES)].
  
  provision_pre(#state{nodes=Nodes, status=init}, [Name]) ->
      Members = [N || {N, _} <- Nodes],
      not lists:member(Name, Members);
  provision_pre(#state{status=running}, [_Name]) ->
      false.
  
  provision_next(#state{nodes=Nodes0}=S, Member, [Name]) ->
      Nodes = Nodes0 ++ [{Name, Member}],
      Status = case length(Nodes) =:= length(?NODES) of
          true ->
              running;
          false ->
  