Ts[8] = factory.makeList(); Ts[9] = (ATermList) Ts[8].setAnnotations(Ts[8].getAnnotations());  System.out.println("Ts[8].hash = " + Ts[8].hashCode()); System.out.println("Ts[9].hash = " + Ts[9].hashCode()); test(factory.makeList().equals(factory.makeList().setAnnotations(factory.makeList().getAnnotations())), "empty-1");
  public void testMakeList() {    ATerm[] T = new ATerm[10];    ATermList[] Ts = new ATermList[10];      //System.out.println("testing ATermList class");    T[0] = factory.parse("[0,1,2,3,4,5,4,3,2,1]");    Ts[0] = (ATermList)T[0];    T[1] = factory.parse("[]");    Ts[1] = factory.makeList();    T[2] = factory.parse("[1,2,3]");    Ts[2] = (ATermList)T[2];    T[3] = factory.parse("[4,5,6]");    Ts[3] = (ATermList)T[3];    T[4] = factory.parse("[1,2,3,4,5,6]");    Ts[4] = (ATermList)T[4];//    T[5] = factory.parse("[1 , 2 , 3 , 4,5,6,7]");        T[5] = factory.parse("[1,2,3,4,5,6,7]");    Ts[5] = (ATermList)T[5];      //T[6] = factory.parse("f(abc{[label,val]})");      // test length    test(Ts[0].getLength() == 10, "length-1");      // test search    test(Ts[0].indexOf(factory.makeInt(2), 0) == 2, "indexOf-1");    test(Ts[0].indexOf(factory.makeInt(10), 0) == -1, "indexOf-2");    test(Ts[0].indexOf(factory.makeInt(0), 0) == 0, "indexOf-3");    test(Ts[0].indexOf(factory.makeInt(5), 0) == 5, "indexOf-4");    // test lastIndexOf        test(Ts[0].lastIndexOf(factory.makeInt(1), -1) == 9, "lastIndexOf-1");    test(Ts[0].lastIndexOf(factory.makeInt(0), -1) == 0, "lastIndexOf-2");    test(Ts[0].lastIndexOf(factory.makeInt(10), -1) == -1, "lastIndexOf-3");    // test concat    test(Ts[2].concat(Ts[3]).equals(Ts[4]), "concat-1");    test(Ts[0].concat(Ts[1]).equals(Ts[0]), "concat-2");    // test append    test(Ts[4].append(factory.makeInt(7)).equals(Ts[5]), "append-1");      // test insert    Ts[7] = Ts[3].insert(factory.parse("3"));    Ts[7] = Ts[7].insert(factory.parse("2"));    Ts[7] = Ts[7].insert(factory.parse("1"));    test(Ts[7].equals(Ts[4]), "insert-1");        test(Ts[1].insert(factory.parse("1")).equals(factory.parse("[1]")), "insert-2");    test(Ts[4].insertAt(factory.parse("7"), Ts[4].getLength()).equals(Ts[5]), "insert-3");      // Test prefix/last    test(Ts[5].getPrefix().equals(Ts[4]), "prefix-1");    test(Ts[5].getLast().equals(factory.parse("7")), "last-1");    System.out.println("pass: testMakeList");  }