Standard Out:

in clause right/oo(tree(X,XS1,XS2),XS2).
  variables have no producer: ["X","XS1","XS2"]

Standard Err:


real	0m0.209s
user	0m0.180s
sys	0m0.020s