Standard Out:

in clause append/ooo(nil,X,X).
  variables have no producer: ["X"]

Standard Err:


real	0m0.370s
user	0m0.224s
sys	0m0.060s