@Test
public void testForAllAndCSV() {

    final String snippet = "forall(&&){something == $}";
    final SnippetBuilder snip = new SnippetBuilder(snippet);
    final String result = snip.build("x, y");
    assertEquals("something == x && something == y", result);
}