genspect::replace_tail —
aterm_list replace_tail(aterm_list l, aterm_list new_tail, int start);
Replace the tail of list l from position start with new_tail.