Standard Out:

in clause balance/ioooo(nil,'-'(X,X),'-'(A,B),'-'(A,B),'-'(cons(tuple(nil,'-'(C,C)),T),T)).
  variables have no producer: ["A","B","C","T","X"]

Standard Err:


real	0m0.352s
user	0m0.216s
sys	0m0.036s