Standard Out:
in clause eq/oo(X,X).
  variables have no producer: ["X"]


Standard Err:

real	0m0.324s
user	0m0.284s
sys	0m0.024s