public void testTermEquality()
{
try
{
TermEquality te = (TermEquality)parser
.parse("BrotherOf(John) = EnemyOf(Saladin)");
Assert.AreEqual(te.ToString(), (new TermEquality(
getBrotherOfFunction(new Constant("John")),
getEnemyOfFunction())).ToString());
}
catch (ApplicationException)
{
Assert.Fail("RuntimeException thrown");
}
}