@Test
public void mustOccurMixedWithShouldOccur() {

    Set<String> dnf = createDisjunctiveNormalForm(createMustOccurMixedWithShouldOccurQuery());
    assertEquals(1, dnf.size());
    assertTrue(dnf.contains("c1=v1 AND c3=v3"));
}