ID { abstract boolean isZero();    }
@Test public void testIsZero() { assertTrue(zero.isZero()); assertFalse(one.isZero()); assertFalse(zeroZero.isZero()); assertFalse(zeroOne.isZero()); assertFalse(oneZero.isZero()); assertFalse(oneOne.isZero()); }