Standard Out:

in clause append1/oio(cons(X,Xs),Ys,cons(X,Zs)) :- append1/oio(Xs,Ys,Zs).
  variables have no producer: ["X"]

Standard Err:


real	0m0.314s
user	0m0.220s
sys	0m0.024s