Standard Out:

in clause sum/oio(X,0,X).
  variables have no producer: ["X"]

Standard Err:


real	0m0.228s
user	0m0.180s
sys	0m0.032s