@Test
 public void testReturn1() throws ParseException {
   ClassDef foo = getOneClass("return1.oocesk");
   OOCESK.execute(foo);
 }
 @Test
 public void testPrint2() throws ParseException {
   ClassDef foo = getOneClass("print2.oocesk");
   OOCESK.execute(foo);
 }