public void testOrDistribution1()
{
Sentence or = (Sentence)parser.parse("((A AND B) OR C)");
Sentence expected = (Sentence)parser.parse("((C OR A) AND (C OR B))");
Sentence transformed = transformer.transform(or);
Assert.AreEqual(expected.ToString(), transformed.ToString());
}