@Test public void testChooseLiteral() { Clause c = cpqr; while (!(c.isEmpty())) { Literal l = c.chooseLiteral(); assertTrue(c.contains(l)); c = c.reduce(l.getNegation()); } }