more termination bug...
permutations proved, but ...
prove permutations
prove permutations
only mergeAll is left
termination of sortBy
termination of sortBy
sortBy does terminate