Standard Out:

in clause notZero/o(s(X)).
  variables have no producer: ["X"]

Standard Err:


real	0m0.243s
user	0m0.176s
sys	0m0.040s