@Test
 public void testIsSatisfiable_empty() throws ContradictionException, TimeoutException {
   Formula instance = Formula.newInstanceforSAT(new Formula());
   assertFalse(instance.isSatisfiable());
 }
 @Test
 public void testIsSatisfiable() throws ContradictionException, TimeoutException {
   Formula instance = Formula.newInstanceforSAT(new Var("a").and(new Var("b")));
   assertTrue(instance.isSatisfiable());
 }