@Override
  public DistributionCounter createNewCounter() {
    return new DistributionCounter();
  }
@Test
  public void check_new_counter_class() {
    assertThat(BASIC_DISTRIBUTION_FORMULA.createNewCounter().getClass()).isEqualTo(DistributionFormula.DistributionCounter.class);
  }