public virtual void TestList()
{
factory = Tester.theFactory;
ATermList list = (ATermList)factory.parse("[1,2,3]");
ATermList result = list.remove(factory.parse("2"));
AssertTrue(result.Equals(factory.parse("[1,3]")));
list = (ATermList)factory.parse("[1,2,3]");
result = list.replace(factory.parse("99"), 1);
AssertTrue(result.Equals(factory.parse("[1,99,3]")));
list = factory.makeList();
result = list.append(factory.parse("1"));
AssertTrue(result.Equals(factory.parse("[1]")));
list = (ATermList)factory.parse("[]");
result = factory.makeList();
AssertTrue(result.Equals(list));
// Console.Out.WriteLine("pass: testList");
}
