in clause preorder_dl/io(nil,'-'(X,X)). variables have no producer: ["X"]
real 0m0.217s user 0m0.168s sys 0m0.044s