genspect::remove_element —
aterm_list remove_element(aterm_list l, aterm elem);
Return list with one occurrence of el removed.