@Test public void RepeatedVariableDefinitionBug() { test(); }
@Test public void RepeatedVariableInPattern() { test(); }
@Test public void Scanl() { test(); }
+ @Test public void SafeDynamic1() { test(); }
@Test public void Search() { test(); }
@Test public void Sections() { test(); }
@Test public void Select1() { test(); }