in clause less/io(0,s(X0)).
  variables have no producer: ["X0"]

real	0m0.217s
user	0m0.180s
sys	0m0.024s