in clause less/io(0,s(X0)). variables have no producer: ["X0"]
real 0m0.200s user 0m0.160s sys 0m0.032s