@Test
public void simpleDisjunction() {

    Set<String> dnf = createDisjunctiveNormalForm(createSimpleDisjunctionQuery());
    assertEquals(2, dnf.size());
    assertTrue(dnf.contains("c1=v1"));
    assertTrue(dnf.contains("c2=v2"));
}