Following discussion, changing check on linkAll
Following discussion, changing check on linkAll

linkAll is now using content. But since content in itself is implemented
as a recursive call (due to the fact that we want to get content from a
Queue of CatenableList), this does not help leon at all.

mdemarne/leon-functional-datastructures