Standard Out:

in clause subset/io(nil,X0).
  variables have no producer: ["X0"]

Standard Err:


real	0m0.210s
user	0m0.176s
sys	0m0.032s