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