@Override
// XXX(Leo_Roos;Nov 18, 2011) leads to many recursive calls, a possible
// reason why there has to be such a big stack size in order to run
// Tigerseye
public Visitable visitList(ATermList arg) throws VisitFailure {
// save annotations
ATermList annotations = arg.getAnnotations();
int childCount = arg.getChildCount();
for (int i = 0; i < childCount; i++) {
ATerm currentAterm = arg.elementAt(i);
ATerm t = (ATerm) currentAterm.accept(this);
if (t != currentAterm) {
arg = arg.replace(t, i);
}
}
// restore annotations
arg = (ATermList) arg.setAnnotations(annotations);
return arg;
}
