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