anchor.diff:  
   initial_state_pre(S) -> not S#state.initialized.
   
  -initial_state_args(S) -> [S].
  +initial_state_args(S) -> [{var,data_dir}].
   
   initial_state_next(S, _, _) -> S#state{initialized=true}.
   
  
positive.code: 
  %%% called when using commands/1
  initial_state() -> 
      S = initial_state(#state{}),
      S#state{initialized=true}.
  
  %%% called when using commands/2
  initial_state(S) ->
      application:stop(ssh),
      ssh:start(),
      setup_rsa(S#state.data_dir).
  
  %%%----------------
  weight(S, ssh_send) -> 5*length([C || C<-S#state.channels, has_subsyst(C)]);
  
negative.code:     do_prop_parallel(full_path(?SSH_DIR, CT_Config)).
  
  do_prop_parallel(DataDir) ->
      ?FORALL(Cmds,parallel_commands(?MODULE),
  	    begin
  		{H,Sf,Result} = run_parallel_commands(?MODULE,Cmds,[{data_dir,DataDir}]),
  		present_result(?MODULE, Cmds, {H,Sf,Result}, Result==ok)
  	    end).
  
  