in clause delete/ooi(X,tree(X,void,Right),Right). variables have no producer: ["X"]
real 0m0.257s user 0m0.208s sys 0m0.028s