public void testQuantifiedVariables()
{
// Note: Should collect quantified variables
// even if not mentioned in clause.
List<Variable> variables = vc.collectAllVariables(parser
.parse("FORALL x,y,z (BrotherOf(x) = EnemyOf(y))"));
Assert.AreEqual(3, variables.Count);
Assert.IsTrue(variables.Contains(new Variable("x")));
Assert.IsTrue(variables.Contains(new Variable("y")));
Assert.IsTrue(variables.Contains(new Variable("z")));
}
}