in clause app/ioo(nil,Ys,Ys). variables have no producer: ["Ys"]
real 0m0.313s user 0m0.180s sys 0m0.032s