+ @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 ClosureRecursion() { test(); }