Standard Out:

in clause delmin/ioo(tree(X,Left,X0),Y,tree(X,Left1,X1)) :- delmin/ioo(Left,Y,Left1).
  variables have no producer: ["X1"]

Standard Err:


real	0m0.233s
user	0m0.216s
sys	0m0.016s