+ @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 CHR11() { test(); }
+ @Test public void CHR12() { test(); }
+ @Test public void CHR13() { test(); }
+ @Test public void CHRSelect1() { test(); }
+ @Test public void CHRSelect2() { test(); }
+ @Test public void CHRSelect3() { test(); }
+ @Test public void ClosureRecursion() { test(); }