in clause select/ooi(X,cons(X,Xs),Xs). variables have no producer: ["X"]
real 0m0.252s user 0m0.176s sys 0m0.056s