Standard Out:

in clause minimum/oi(tree(X,void,X0),X).
  variables have no producer: ["X0"]

Standard Err:


real	0m0.216s
user	0m0.164s
sys	0m0.040s