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