anchor.diff:      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).
  +    tester:test(?MODULE, prop_on_get_node_details_response_local_info, 4, 100, [{threads, 4}]).
   
   test_on_get_state(Config) ->
       % TODO: implement unit test
  
positive.code:     test_on_trigger5(),
      test_on_trigger6(),
      test_on_trigger7(),
      tester:test(?MODULE, prop_on_trigger, 8, 100).
  
  -spec prop_on_get_node_details_response_local_info(Load::integer(),
          PreviousState::gossip_state:state(), State::gossip_state:state(),
  
negative.code:                   end
          end,
      Cyclon = element(1, unittest_helper:start_subprocess(
                         fun() -> pid_groups:join_as(Group, cyclon) end,
                         fun() -> CyclonRunFun(CyclonRunFun) end)),
      
      MyRange = node:mk_interval_between_ids(PredId, NodeId),
  