def test_insert(self):
a = ATerm("a")
b = ATerm("b")
a.insert(0,b)
self.assertEquals(a,b.up)
a = ATerm("a",[1])
b = ATerm("b")
a.insert(0,b)
self.assertEquals(a,b.up)
def test_append(self):
a = ATerm("a")
b = ATerm("b")
a.append(b)
self.assertEquals(a,b.up)