public void Parse_Fact_with_ListArg()
{
BinaryTree ast = PrologTerm("predicate([X]).");
Assert.AreEqual("predicate", ast.Name);
Assert.IsNull(ast.Left);
Assert.IsNull(ast.Right);
ArrayList args = new ArrayList();
ast.Flatten((BinaryTree)ast.Arguments[0], ref args);
Assert.AreEqual(1, args.Count);
}