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