// 28/08/2002 Torrevieja
void Atom::rectify (Substitution& subst, Var& last, VarList& freeVars)
{
TRACER ("Atom::rectify");
TermList ts (args());
ts.rectify (subst, last, freeVars);
if (ts == args()) { // space-economic version
return;
}
Atom a (functor(),ts);
*this = a;
} // Atom::rectify
