public virtual ATermList dictRemove(ATerm key)
{
ATermList pair;
if (isEmpty())
{
return(this);
}
pair = (ATermList)first;
if (key.equals(pair.getFirst()))
{
return(next);
}
return((ATermList)next.dictRemove(key).insert(first).setAnnotations(getAnnotations()));
//return getPureFactory().makeList(first, next.dictRemove(key), getAnnotations());
}
public virtual ATerm removeAnnotation(ATerm label)
{
return(setAnnotations(annotations.dictRemove(label)));
}