in clause part/oooo(X,nil,nil,nil). variables have no producer: ["X"]
real 0m0.263s user 0m0.168s sys 0m0.012s