System.out.println("res = fib(4) = " + res);
  public void test2() {    System.out.println("test 2");    ATermAppl res = normalizeFib(      factory.makeAppl(fib,      factory.makeAppl(suc,      factory.makeAppl(suc,      factory.makeAppl(suc,      factory.makeAppl(suc,tzero))))));    System.out.println("res = fib(4) = " + res);  }