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