genspect::replace —
aterm_list replace(aterm_list l, aterm elem, int index);
Return list l with the element at index replaced by el.