Standard Out:

in clause s2t/io(s(X),node(T,Y,T)) :- s2t/io(X,T).
  variables have no producer: ["Y"]

Standard Err:


real	0m0.260s
user	0m0.176s
sys	0m0.036s