anchor.diff:  
   ssh_open_connection_pre(S) -> S#state.servers /= [].
       
  -ssh_open_connection_args(S) -> [oneof(S#state.servers), S#state.data_dir].
  +ssh_open_connection_args(S) -> [oneof(S#state.servers), {var,data_dir}].
       
   ssh_open_connection(#srvr{address=Ip, port=Port}, DataDir) ->
       ok(ssh:connect(ensure_string(Ip), Port, 
  
positive.code: 
  initial_state_pre(S) -> not S#state.initialized.
  
  initial_state_args(S) -> [S].
  
  initial_state_next(S, _, _) -> S#state{initialized=true}.
  
  
negative.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, 
  