public Object visitTermEquality(TermEquality equality, Object arg)
{
ArgData ad = (ArgData)arg;
if (ad.negated)
{
ad.clauses[ad.clauses.Count - 1].addNegativeLiteral(equality);
}
else
{
ad.clauses[ad.clauses.Count - 1].addPositiveLiteral(equality);
}
return equality;
}