+ @Test public void CHR1() { test(); }
+ @Test public void CHR2() { test(); }
+ @Test public void CHR3() { test(); }
+ @Test public void CHR4() { test(); }
+ @Test public void CHR5() { test(); }
+ @Test public void CHR6() { test(); }
+ @Test public void CHR7() { test(); }
+ @Test public void CHR8() { test(); }
+ @Test public void CHR9() { test(); }
+ @Test public void CHR10() { test(); }
+ @Test public void ClosureRecursion() { test(); }