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