Standard Out:

in clause insert/oio(X,void,tree(X,void,void)).
  variables have no producer: ["X"]

Standard Err:


real	0m0.222s
user	0m0.184s
sys	0m0.032s