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