anchor.diff:      end,
       S#state{status=Status, nodes=Nodes}.
   
  +%% Declare variables.
  +
   declare(Id) ->
       Type = lasp_gcounter,
       {ok, {{Id, Type}, _, _, _}} = lasp:declare(Id, Type),
  
positive.code: 
  declare_pre(#state{status=init}, [_Id]) ->
      false;
  declare_pre(#state{status=running}, [_Id]) ->
      true.
  
  %% Properties.
  
  
negative.code:     lasp_support:stop_runner(),
      lasp_support:start_runner(),
  
      #state{status=init, nodes=[], variables=[]}.
  
  %% Launch multiple nodes.
  
  