in clause delmin/ooi(tree(Y,void,Right),Y,Right). variables have no producer: ["Y"]
real 0m0.467s user 0m0.252s sys 0m0.048s