anchor.diff:  
       % increase RandViewSize (no error detected):
       NewRandViewSize =
  -        case RandViewSize < config:read(cyclon_cache_size) of
  +        case RandViewSize < config:read(gossip_cyclon_cache_size) of
               true ->  RandViewSize + 1;
               false -> RandViewSize
           end,
  
positive.code: add_cyclon_cache(NewCache, {Neighborhood, RandViewSize, _Cache, Churn}) ->
      % increase RandViewSize (no error detected):
      RandViewSizeNew =
          case (RandViewSize < config:read(cyclon_cache_size)) of
              true  -> RandViewSize + 1;
              false -> RandViewSize
          end,
  
negative.code:     config:cfg_is_integer(stabilization_interval_base) and
      config:cfg_is_greater_than(stabilization_interval_base, 0) and
  
      config:cfg_is_integer(gossip_cyclon_cache_size) and
      config:cfg_is_greater_than(gossip_cyclon_cache_size, 2) and
  
      config:cfg_is_integer(succ_list_length) and
      config:cfg_is_greater_than_equal(succ_list_length, 1) and
  