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);
}