in clause del/ooi(X,cons(X,T),T). variables have no producer: ["X"]
real 0m0.267s user 0m0.172s sys 0m0.040s