FIXED: Avoid non-termination in ?- A = [a|A], atomic_list_concat(A, L).
Thanks to an anonymous reviewer of my WLPE-14 paper.