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