@Test public void DefaultMethods1() { test(); }
@Test public void Deriving3() { test(); }
@Test public void Deriving4() { test(); }
@Test public void DifferentBranchTypes() { test(); }
@Test public void Div() { test(); }
@Test public void DoubleConversion() { test(); }
@Test public void DefaultMethods1() { test(); }
@Test public void Deriving3() { test(); }
@Test public void Deriving4() { test(); }
@Test public void DifferentBranchTypes() { test(); }
@Test public void Div() { test(); }
@Test public void DoubleConversion() { test(); }