System.out.println("test 1");
  public void test1() {    System.out.println("test 1");    ATermAppl res = normalizePlus(      factory.makeAppl(plus,      factory.makeAppl(suc,factory.makeAppl(suc,tzero)),      factory.makeAppl(suc,factory.makeAppl(suc,tzero))));        System.out.println("res = 2+2 = " + res);  }