in clause tree_member/io(X,tree(X,X0,X1)). variables have no producer: ["X0","X1"]
real 0m0.205s user 0m0.180s sys 0m0.032s