CNFifyTests.CNFifyTestClass.MakeAndList C# (CSharp) Метод

        public void MakeAndList()
        {
            // (a ∧ (b ∧ c))  ----> AndList (a; b; c)

            var T = CNFify.Term.NewAnd(a, CNFify.Term.NewAnd(b, c));

            var result = CNFify.flattenTermtoList(T);

            List<CNFify.Term> abcList = new List<CNFify.Term>() { a, b, c };

            FSharpList<CNFify.Term> expected = ListModule.OfSeq(abcList);

            Assert.AreEqual(expected, result);
        }