in clause select/ioo(X,cons(X,Xs),Xs). variables have no producer: ["Xs"]
real 0m0.247s user 0m0.172s sys 0m0.040s