public void TestArity()
{
for (int i = 0; i < 200; i++)
{
BooleanExpression[] operands = new BooleanExpression[i];
for (int j = 0; j < i; j++)
{
operands[j] = A;
}
Disjunction dis = new Disjunction(operands);
Assert.Equal(i, dis.GetArity());
}
}