in clause append/ooo(nil,L,L). variables have no producer: ["L"]
real 0m0.277s user 0m0.176s sys 0m0.048s