anchor.diff:      test_on_trigger5(),
       test_on_trigger6(),
       test_on_trigger7(),
  -    tester:test(?MODULE, prop_on_trigger, 8, 100).
  +    tester:test(?MODULE, prop_on_trigger, 8, 100, [{threads, 4}]).
   
   -spec prop_on_get_node_details_response_local_info(Load::integer(),
           PreviousState::gossip_state:state(), State::gossip_state:state(),
  
positive.code:     Self = self(),
      This = comm:this(),
      
      pid_groups:join_as("gossip_group", dht_node),
      
      % recursive anonymous function:
      CyclonRunFun =
  
negative.code:     test_on_get_node_details_response_local_info5(),
      test_on_get_node_details_response_local_info6(),
      test_on_get_node_details_response_local_info7(),
      tester:test(?MODULE, prop_on_get_node_details_response_local_info, 4, 100, [{threads, 4}]).
  
  test_on_get_state(Config) ->
      % TODO: implement unit test
  