in clause le/ioo(0,Y,true).
  variables have no producer: ["Y"]

real	0m0.194s
user	0m0.152s
sys	0m0.044s