public void theWholeShebang_Simple_term_returns_SAT()
{
CNFify.Term T = CNFify.Term.NewAnd(a, b);
var result = CNFify.theWholeShabang(T);
var list = ListModule.OfSeq(new List<Tuple<string, bool>>
{
new Tuple<string, bool>("a", true),
new Tuple<string, bool>("b", true)
});
Assert.AreEqual(CNFify.satResult.NewSAT(list), result);
}