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


Standard Err:

real	0m0.232s
user	0m0.196s
sys	0m0.020s