anchor.diff:  
   
   do_prop_seq(DataDir) ->
  -    ?FORALL(Cmds,commands(?MODULE, #state{data_dir=DataDir}),
  +    ?FORALL(Cmds,commands(?MODULE),
   	    begin
  -		{H,Sf,Result} = run_commands(?MODULE,Cmds),
  +		{H,Sf,Result} = run_commands(?MODULE,Cmds,[{data_dir,DataDir}]),
   		present_result(?MODULE, Cmds, {H,Sf,Result}, Result==ok)
   	    end).
   
  
positive.code: ssh_server_pre(S) -> S#state.initialized andalso 
  			 length(S#state.servers) < ?MAX_NUM_SERVERS.
  
  ssh_server_args(S) -> [?SERVER_ADDRESS, S#state.data_dir, ?SERVER_EXTRA_OPTIONS]. 
  
  ssh_server({IP,Port}, DataDir, ExtraOptions) ->
      ok(ssh:daemon(IP, Port, 
  
negative.code: 
  initial_state_pre(S) -> not S#state.initialized.
  
  initial_state_args(S) -> [{var,data_dir}].
  
  initial_state_next(S, _, _) -> S#state{initialized=true}.
  
  