Standard Out:
in clause s2l/io(s(X),cons(Y,Xs)) :- s2l/io(X,Xs).
  variables have no producer: ["Y"]


Standard Err:

real	0m0.264s
user	0m0.200s
sys	0m0.024s