in clause insert/ioo(X,tree(X,Left,Right),tree(X,Left,Right)). variables have no producer: ["Left","Right"]
real 0m0.243s user 0m0.200s sys 0m0.024s