@Test public void RepeatedVariableDefinitionBug() { test(); }
@Test public void RepeatedVariableInPattern() { test(); }
@Test public void Scanl() { test(); }
@Test public void RepeatedVariableDefinitionBug() { test(); }
@Test public void RepeatedVariableInPattern() { test(); }
@Test public void Scanl() { test(); }