genspect::concat —
aterm_list concat(aterm_list l, aterm_list m);
Return the concatenation of the list l and m.