@Test public void RedBlackTrees() { test(); }
@Test public void Relations1() { test(); }
@Test public void Relations2() { test(); }
+ @Test public void RepeatedVariableDefinitionBug() { test(); }
@Test public void RepeatedVariableInPattern() { test(); }
@Test public void Scanl() { test(); }
@Test public void Search() { test(); }