@Test
 public void testBound() throws Exception {
   generateAndCheckResult();
 }