Standard Out:

in clause delete/ioo(X,tree(X,void,Right),Right).
  variables have no producer: ["Right"]

Standard Err:


real	0m0.233s
user	0m0.196s
sys	0m0.032s