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