in clause balance55/iooioioooi(nil,C,T,T,A,B,A,B,X,X). variables have no producer: ["A","C"]
real 0m0.289s user 0m0.220s sys 0m0.036s