System.out.println("test1: " + n);
  public void test1(int n) {    System.out.println("test1: " + n);    ATermAppl N = tzero;    for(int i=0 ; i<n ; i++) {      N = factory.makeAppl(suc,N);    }    ATerm tfib = factory.makeAppl(fib,N);      //tfib = factory.parse("fib(suc(suc(zero)))");        long start = System.currentTimeMillis();    ATerm res  = normalize(tfib);    long end   = System.currentTimeMillis();      //System.out.println("fib(" + n + ") = " + res);    System.out.println("fib(" + n + ") in " + (end-start) + " ms");      //System.out.println(factory);          }