ExprCnfChecker { static boolean isExprCnf(final Expr<BoolType> expr) { return isExprCnf(expr, CnfStatus.START); } private  ExprCnfChecker();   }
@Test public void test() { Assert.assertEquals(expectedResult, isExprCnf(expr)); }