@Test public void ConjunctionMacro() { test(); }
@Test public void Constant() { test(); }
@Test public void ConstructorNameClash() { test(); }
+ @Test public void DeconstructEnum() { test(); }
@Test public void DefaultMethods1() { test(); }
@Test public void Deriving3() { test(); }
@Test public void Deriving4() { test(); }
@Test public void StringMatching1() { test(); }
@Test public void SumOfInverses2() { test(); }
@Test public void SwitchSimplification() { test(); }
+ @Test public void Throw1() { test(); }
@Test public void TooManyParametersToSin() { test(); }
@Test public void Transformation1() { test(); }
@Test public void Transformation2() { test(); }