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