@Test
public void createAnd() throws Exception {
Statement stmt = f.createPrint(f.createAnd(new True(), new False(), null), null);
runStatementFor(u, stmt, 0.2);
System.out.println("The above test should print 'false'");
}
@Test
public void createAnd() throws Exception {
Statement stmt = f.createPrint(f.createAnd(new True(), new False(), null), null);
runStatementFor(u, stmt, 0.2);
System.out.println("The above test should print 'false'");
}
