in clause mergesort/ioo(nil,nil,Ls). variables have no producer: ["Ls"]
real 0m0.227s user 0m0.192s sys 0m0.032s