public void theWholeShebangTrue_returns_SAT()
{
// (a ∨ !a) results in SAT with an empty assignment
var T = CNFify.Term.NewOr(a, CNFify.Term.NewNot(a));
var result = CNFify.theWholeShabang(T);
var expected = CNFify.satResult.NewSAT(ListModule.OfSeq(new List<System.Tuple<string, bool>>()));
Assert.AreEqual(expected, result);
}