in clause app/ioo(nil,X,X). variables have no producer: ["X"]
real 0m0.410s user 0m0.244s sys 0m0.040s