anchor.diff:      NodeDetails2 = node_details:new(PredList, Node, SuccList, Load, Hostname, RTSize, Memory),
       NodeDetails1_new = node_details:set(NodeDetails1, message_log, MsgLogTest),
       NodeDetails2_new = node_details:set(NodeDetails2, message_log, MsgLogTest),
  -    node_details_equals(NodeDetails1_new, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, MsgLogTest, unknown) andalso
  -    node_details_equals(NodeDetails2_new, hd(PredList), PredList, Node, unknown, hd(SuccList), SuccList, Load, Hostname, RTSize, MsgLogTest, Memory).
  +    node_details_equals(NodeDetails1_new, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, unknown, MsgLogTest, unknown, [], [message_log]),
  +    node_details_equals(NodeDetails2_new, hd(PredList), PredList, Node, unknown, hd(SuccList), SuccList, Load, Hostname, RTSize, MsgLogTest, Memory, [my_range], []).
   
   -spec test_set_get_memory(Memory::node_details:memory()) -> true.
   test_set_get_memory(MemoryTest) ->
  
positive.code:                           Hostname::node_details:hostname() | unknown,
                            RTSize::node_details:rt_size() | unknown,
                            MsgLog::node_details:message_log() | unknown,
                            Memory::node_details:memory() | unknown) -> true.
  node_details_equals(NodeDetails, Pred, PredList, Node, MyRange, Succ, SuccList, Load, Hostname, RTSize, MsgLog, Memory) ->
      safe_compare(NodeDetails, pred, Pred),
      safe_compare(NodeDetails, predlist, PredList),
      safe_compare(NodeDetails, node, Node),
      safe_compare(NodeDetails, my_range, MyRange),
      safe_compare(NodeDetails, succ, Succ),
      safe_compare(NodeDetails, succlist, SuccList),
      safe_compare(NodeDetails, load, Load),
      safe_compare(NodeDetails, hostname, Hostname),
      safe_compare(NodeDetails, rt_size, RTSize),
      safe_compare(NodeDetails, message_log, MsgLog),
      safe_compare(NodeDetails, memory, Memory),
      true.
  
  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
negative.code:     NodeDetails2 = node_details:new(PredList, Node, SuccList, Load, Hostname, RTSize, Memory),
      NodeDetails1_new = node_details:set(NodeDetails1, succlist, SuccListTest),
      NodeDetails2_new = node_details:set(NodeDetails2, succlist, SuccListTest),
      node_details_equals(NodeDetails1_new, unknown, unknown, unknown, unknown, hd(SuccListTest), SuccListTest, unknown, unknown, unknown, unknown, unknown, [], [succ, succlist]),
      node_details_equals(NodeDetails2_new, hd(PredList), PredList, Node, unknown, hd(SuccListTest), SuccListTest, Load, Hostname, RTSize, unknown, Memory, [my_range, message_log], []).
  
  -spec test_set_get_load(Load::node_details:load()) -> true.
  test_set_get_load(LoadTest) ->
  