public void Parse_Clause_1_Goal_Arity5() { BinaryTree ast = PrologTerm("ali(X1,X2,X3,X4,X5) :- samir."); ArrayList args = new ArrayList(); ast.Flatten((BinaryTree)ast.Left.Arguments[0], ref args); Assert.AreEqual(5, args.Count); }