Standard Out:

in clause q/o(g(Y)).
  variables have no producer: ["Y"]

Standard Err:


real	0m0.462s
user	0m0.136s
sys	0m0.032s