anchor.diff:  
   initial_state_pre(S) -> not S#state.initialized.
   
  -initial_state_args(S) -> [{var,data_dir}].
  +initial_state_args(_) -> [{var,data_dir}].
   
   initial_state_next(S, _, _) -> S#state{initialized=true}.
   
  
positive.code: ssh_server_pre(S) -> S#state.initialized andalso 
  			 length(S#state.servers) < ?MAX_NUM_SERVERS.
  
  ssh_server_args(S) -> [?SERVER_ADDRESS, {var,data_dir}, ?SERVER_EXTRA_OPTIONS]. 
  
  ssh_server({IP,Port}, DataDir, ExtraOptions) ->
      ok(ssh:daemon(IP, Port, 
  
negative.code: 
  %%%----
  prop_parallel_multi() ->
      ?TESTINGTIME(do_prop_parallel_multi(?SSH_DIR)).
  
  %% To be called from a common_test test suite
  prop_parallel_multi(CT_Config) ->
  