class CoverageMetrics {

  public float f(int i) {
   int k = 0; /* default */
   if (i != 0) {
      k = 1;
   }
   return (float)i/(k+1);
  }

}

class CoverageMetricsTest {

  @Test
  public void test2() throws Exception {

    CoverageMetrics c = new CoverageMetrics();
    assertEquals(0.0, c.f(0), 0.0);
  }

}