genspect::set_appl_argument —
aterm_appl set_appl_argument(aterm_appl appl, unsigned int i, aterm term);
Set the i-th argument of an application to term. This function returns a copy of appl with argument i replaced by term.