Standard Out:

in clause p/o(X) :-
    q/o(f(Y)),
    p/i(Y).
  variables have no producer: ["X"]

Standard Err:


real	0m0.187s
user	0m0.160s
sys	0m0.028s