public class ExprTransformTest extends TestCase {
public void testExprDeMorganDoubleNotA() {
Expr expr = ExprUtils.parse("!(!(?a))");
DeMorganLawApplyer apply = new DeMorganLawApplyer();
expr.visit(apply);
assertNotNull(apply.result());
assertEquals("?a", apply.result().toString());
}
public void testExprDeMorganDoubleNotAB() {