public void Prefix11() { Console.WriteLine("Testing prefix push "); BinaryTree ast = PrologTerm("push ali."); Assert.AreEqual("push", ast.Name); Assert.AreEqual("ali", ast.Right.Name); }