public void testMultipleVariables()
{
List<Variable> variables = vc.collectAllVariables(parser
.parse("BrotherOf(x) = EnemyOf(y)"));
Assert.AreEqual(2, variables.Count);
Assert.IsTrue(variables.Contains(new Variable("x")));
Assert.IsTrue(variables.Contains(new Variable("y")));
}