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