public void testBasicSentenceTransformation()
{
Sentence and = (Sentence)parser.parse("(A AND B)");
Sentence transformedAnd = transformer.transform(and);
Assert.AreEqual(and.ToString(), transformedAnd.ToString());
Sentence or = (Sentence)parser.parse("(A OR B)");
Sentence transformedOr = transformer.transform(or);
Assert.AreEqual(or.ToString(), transformedOr.ToString());
Sentence not = (Sentence)parser.parse("(NOT C)");
Sentence transformedNot = transformer.transform(not);
Assert.AreEqual(not.ToString(), transformedNot.ToString());
}