genspect::remove_all —
aterm_list remove_all(aterm_list l, aterm el);
Return list l with all occurrences of el removed.